| Thu, 19 Aug 2010 22:52:00 +0200 | wenzelm | parameterized type Markup_Tree.Node; | changeset | files |
| Thu, 19 Aug 2010 22:26:15 +0200 | wenzelm | added toString methods; | changeset | files |
| Thu, 19 Aug 2010 22:04:20 +0200 | wenzelm | misc tuning and simplification; | changeset | files |
| Thu, 19 Aug 2010 18:44:26 +0200 | wenzelm | updated some isatest settings; | changeset | files |
| Thu, 19 Aug 2010 18:19:21 +0200 | wenzelm | added generated file; | changeset | files |
| Thu, 19 Aug 2010 17:41:52 +0200 | wenzelm | merged | changeset | files |
| Thu, 19 Aug 2010 16:08:59 +0200 | haftmann | tuned quotes | changeset | files |
| Thu, 19 Aug 2010 16:08:54 +0200 | haftmann | more antiquotations | changeset | files |
| Thu, 19 Aug 2010 16:08:53 +0200 | haftmann | deglobalized named HOL constants | changeset | files |
| Thu, 19 Aug 2010 16:03:07 +0200 | haftmann | deglobalized named HOL constants | changeset | files |
| Thu, 19 Aug 2010 16:03:01 +0200 | haftmann | corrected some long-overseen misperceptions in recdef | changeset | files |
| 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 |
| 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 |
| Thu, 19 Aug 2010 10:27:12 +0200 | haftmann | tuned | changeset | files |
| Thu, 19 Aug 2010 10:27:02 +0200 | haftmann | tuned declaration order | changeset | files |
| Wed, 18 Aug 2010 17:03:09 +0200 | haftmann | merged | changeset | files |
| Wed, 18 Aug 2010 17:01:12 +0200 | haftmann | NEWS | changeset | files |
| Wed, 18 Aug 2010 16:59:37 +0200 | haftmann | re-added instantiation of type class random for records | changeset | files |
| Wed, 18 Aug 2010 16:59:37 +0200 | haftmann | tuned signature and code | changeset | files |
| Wed, 18 Aug 2010 16:59:36 +0200 | haftmann | adjusted to restored naming convention of logical record types | changeset | files |
| Wed, 18 Aug 2010 16:59:36 +0200 | haftmann | robustified proof | changeset | files |