Tue, 23 Feb 2010 14:11:32 +0100 | haftmann | merged | changeset | files |
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 |