| 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 |