| Thu, 10 Apr 2008 14:53:25 +0200 | wenzelm | load thy_info.ML after outer_syntax.ML -- avoids backpatching of load_thy; | changeset | files |
| Thu, 10 Apr 2008 14:53:24 +0200 | wenzelm | val theory = ThyInfo.get_theory; | changeset | files |
| Thu, 10 Apr 2008 13:44:43 +0200 | wenzelm | replaced Isar loop variants by generic toplevel_loop; | changeset | files |
| Thu, 10 Apr 2008 13:44:41 +0200 | wenzelm | replaced Isar loop variants by generic toplevel_loop; | changeset | files |
| Thu, 10 Apr 2008 13:24:22 +0200 | wenzelm | The global Isabelle/Isar state and main read-eval-print loop. | changeset | files |
| Thu, 10 Apr 2008 13:24:21 +0200 | wenzelm | replaced Isar.toplevel by Toplevel.program; | changeset | files |