| Mon, 26 Jul 2010 17:41:26 +0200 | wenzelm | modernized/unified some specifications; | changeset | files |
| Mon, 26 Jul 2010 13:50:52 +0200 | wenzelm | Thy_Info.loaded_files: Thy_Load.loaded_files depends on master -- i.e. no files for finished theory; | changeset | files |
| 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 |