Fri, 23 Nov 2007 21:09:34 +0100 | haftmann | explicit type signature | changeset | files |
Fri, 23 Nov 2007 21:09:33 +0100 | haftmann | interpretation of typedecls: instantiation to class type | changeset | files |
Fri, 23 Nov 2007 21:09:32 +0100 | haftmann | deleted card definition as code lemma; authentic syntax for card | changeset | files |