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

Makarius makarius at sketis.net
Sat Sep 27 19:39:03 CEST 2008

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 magicians ;-)

And the wizards ...


More information about the isabelle-dev mailing list