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

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

And the wizards ...


	Makarius