[isabelle-dev] ZF/upair.thy failing
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