Thu, 19 Aug 2010 11:19:24 +0200 | haftmann | some more antiquotations | changeset | files |
Thu, 19 Aug 2010 11:13:07 +0200 | haftmann | tuned | changeset | files |
Thu, 19 Aug 2010 11:02:14 +0200 | haftmann | use antiquotations for remaining unqualified constants in HOL | changeset | files |