[isabelle-dev] [isabelle] Incompatibilities between releases (Re: Syntax for theory definitions)
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