Thu, 06 Nov 2008 09:09:48 +0100 | haftmann | class morphism stemming from locale interpretation | changeset | files |
Mon, 03 Nov 2008 14:15:25 +0100 | haftmann | improved verbatim mechanism | changeset | files |
Fri, 31 Oct 2008 10:39:04 +0100 | berghofe | Theorem "_" is now stored with open derivation. | changeset | files |