[isabelle-dev] ZF/upair.thy failing

Lawrence Paulson lp15 at cam.ac.uk
Fri Mar 16 11:35:15 CET 2012

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?


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20120316/65641bf7/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screen Shot 2012-03-16 at 10.26.04 copy.jpg
Type: image/jpg
Size: 52408 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20120316/65641bf7/attachment-0001.jpg>

More information about the isabelle-dev mailing list