[isabelle] Library of Proofs

Hello Isabelle,

since I was having some problems with directly using the examples from
the web site (mixture of ASCII and Unicode; the HTML page source is even
worse for reformatting), I'd suggest to offer the proof library in the
same manner as the Cobol Test Suite is presented to the users. It's two
small *.jsp pages and afterwards it looks like this:

** Just a question : **

 Would I be allowed to set up a mirror here for the University of Hamburg?


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.