[isabelle-dev] ZF/upair.thy failing

Makarius makarius at sketis.net
Fri Mar 16 11:51:58 CET 2012

On Fri, 16 Mar 2012, Lawrence Paulson wrote:

> I have a problem with the current version (9ff441f295c2). See 
> attachment. This prevents the use of PG within ZF. However, it builds at 
> the command line. What is supposed to be here?

Are you sure that your Pure/FOL base image is up to date?

Anyway, you can now also use Isabelle/jEdit for ZF ...


More information about the isabelle-dev mailing list