[isabelle-dev] ZF/upair.thy failing

[Makarius]

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 ...


 	Makarius