| Thu, 10 Apr 2008 14:53:29 +0200 | wenzelm | ThyInfo.get_names; | changeset | files |
| Thu, 10 Apr 2008 14:53:28 +0200 | wenzelm | ThyInfo.get_theory; | changeset | files |
| Thu, 10 Apr 2008 14:53:27 +0200 | wenzelm | export load_thy -- no backpatching; | changeset | files |
| Thu, 10 Apr 2008 14:53:26 +0200 | wenzelm | export subst_alias; | changeset | files |
| 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 |