| Thu, 10 Sep 2009 16:38:18 +1000 | Thomas Sewell | Simplification of various aspects of the IsTuple component | file | diff | annotate |
| Thu, 10 Sep 2009 15:18:43 +1000 | Thomas Sewell | Record patch imported and working. | file | diff | annotate |
| Thu, 27 Aug 2009 00:40:53 +1000 | tsewell | Initial attempt at porting record update to repository Isabelle. | file | diff | annotate |