Mon, 28 Sep 2009 11:13:11 +1000 | Thomas Sewell | Merge record patch with updates from isabelle mainline. | changeset | files |
Fri, 25 Sep 2009 19:04:18 +1000 | Thomas Sewell | Avoid record-inner constants in polymorphic definitions in Bali | changeset | files |
Thu, 24 Sep 2009 11:33:05 +1000 | Thomas Sewell | Merge with changes from isabelle dev repository. | changeset | files |