[isabelle-dev] [isabelle] Incompatibilities between releases (Re: Syntax for theory definitions)

2008-09-27 Thread Florian Haftmann
://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20080927/42e93e11/attachment.pgp

[isabelle-dev] [isabelle] Incompatibilities between releases (Re: Syntax for theory definitions)

2008-09-27 Thread Makarius
On Sat, 27 Sep 2008, Florian Haftmann wrote: Proofs are much more fragile, notably unstructured ones. One way around this is to submit theory libraries and applications to http://afp.sourceforge.net/ where they get updated to latest Isabelle automagically. Thanks to all the