Thu, 19 Aug 2010 12:11:57 +0200 | haftmann | use HOLogic.boolT and @{typ bool} more pervasively | changeset | files |
Thu, 19 Aug 2010 11:19:24 +0200 | haftmann | tuned | changeset | files |
Thu, 19 Aug 2010 11:19:24 +0200 | haftmann | some more antiquotations | changeset | files |