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 |