Tue, 23 Feb 2010 10:11:49 +0100 | haftmann | dropped axclass; dropped Id; session theory Hoare.thy | changeset | files |
Tue, 23 Feb 2010 10:11:31 +0100 | haftmann | dropped session W0; c.f. MiniML in AFP | changeset | files |
Tue, 23 Feb 2010 10:11:16 +0100 | haftmann | dropped axclass, going back to purely syntactic type classes | changeset | files |