| Fri, 11 Sep 2009 15:57:16 +1000 | Thomas Sewell | Merged with mainline changes. | changeset | files |
| Fri, 11 Sep 2009 15:56:51 +1000 | Thomas Sewell | Adjust some documentation. | changeset | files |
| Thu, 10 Sep 2009 16:38:18 +1000 | Thomas Sewell | Simplification of various aspects of the IsTuple component | changeset | files |
| Thu, 10 Sep 2009 15:18:43 +1000 | Thomas Sewell | Record patch imported and working. | changeset | files |
| Thu, 27 Aug 2009 00:40:53 +1000 | tsewell | Initial attempt at porting record update to repository Isabelle. | changeset | files |
| Tue, 29 Sep 2009 16:42:29 +0200 | wenzelm | Synchronized and Unsynchronized; | changeset | files |