Thu, 04 Aug 2011 17:40:48 +0200 | berghofe | Pending FDL types may now be associated with Isabelle types as well. | changeset | files |
Thu, 04 Aug 2011 07:33:08 +0200 | haftmann | tuned orthography | changeset | files |
Thu, 04 Aug 2011 07:31:59 +0200 | haftmann | avoid yet unknown fact antiquotation | changeset | files |