afp-poly runs on macbroy2 (different ghc)
afp-poly runs on macbroy2 (different ghc)

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle