Fri, 19 Jan 2007 22:08:16 +0100 | wenzelm | tuned order; | changeset | files |
Fri, 19 Jan 2007 22:08:15 +0100 | wenzelm | renamed Isar/term_style.ML to Thy/term_style.ML; | changeset | files |
Fri, 19 Jan 2007 22:08:14 +0100 | wenzelm | renamed Isar/thy_header.ML to Thy/thy_header.ML; | changeset | files |