| 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 |
| Wed, 23 Sep 2009 19:17:48 +1000 | tsewell | Initial response to feedback from Norbert, Makarius on record patch | changeset | files |
| Tue, 22 Sep 2009 13:52:19 +1000 | Thomas Sewell | Branch merge for isabelle mainline updates. | changeset | files |
| Thu, 17 Sep 2009 14:17:37 +1000 | Thomas Sewell | Branch merge with updates from mainline isabelle. | changeset | files |
| Fri, 11 Sep 2009 20:58:29 +1000 | Thomas Sewell | Implement previous fix (don't duplicate ext_def) correctly. | changeset | files |