| Tue, 29 Sep 2009 14:26:33 +1000 | Thomas Sewell | Merge with isabelle dev changes. | changeset | files |
| Tue, 29 Sep 2009 14:25:42 +1000 | Thomas Sewell | Replace OldTerm.term_vars with Term.add_vars in named_cterm_instantiate. | changeset | files |
| Mon, 28 Sep 2009 15:37:19 +1000 | Thomas Sewell | Avoid a possible variable name conflict in instantiating a theorem. | changeset | files |
| Mon, 28 Sep 2009 14:16:01 +1000 | Thomas Sewell | Fix unescaped expressions breaking latex output in Record.thy | changeset | files |
| 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 |
| Wed, 23 Sep 2009 19:17:48 +1000 | tsewell | Initial response to feedback from Norbert, Makarius on record patch | changeset | files |