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