Tue, 23 Feb 2010 10:11:16 +0100 | haftmann | dropped axclass, going back to purely syntactic type classes | changeset | files |
Tue, 23 Feb 2010 10:11:15 +0100 | haftmann | dropped axclass; dropped Id | changeset | files |
Tue, 23 Feb 2010 10:11:15 +0100 | haftmann | dropped axclass; dropped Id; session theory Hoare.thy | changeset | files |
Tue, 23 Feb 2010 10:11:12 +0100 | haftmann | dropped axclass | changeset | files |