| Sun, 25 Jul 2010 21:42:39 +0200 | wenzelm | simplified/clarified register_thy: more precise treatment of new dependencies, remove descendants; | changeset | files |
| Sun, 25 Jul 2010 14:41:48 +0200 | wenzelm | simplified handling of theory begin/end wrt. toplevel and theory loader; | changeset | files |
| Sun, 25 Jul 2010 12:57:29 +0200 | wenzelm | Thy_Load.check_loaded via Theory.at_end; | changeset | files |
| Sat, 24 Jul 2010 21:40:48 +0200 | wenzelm | tuned; | changeset | files |