| Wed, 02 Jul 2008 19:52:57 +0200 | huffman | section -> subsection | changeset | files |
| Wed, 02 Jul 2008 19:52:38 +0200 | wenzelm | convert Isabelle CVS to Mercurial; | changeset | files |
| Wed, 02 Jul 2008 19:35:43 +0200 | huffman | use begin and end for proofs in locales | changeset | files |