| Wed, 03 Feb 1999 17:33:41 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 03 Feb 1999 17:33:20 +0100 | wenzelm | ThmDatabase.ml_store_thm; | changeset | files |
| Wed, 03 Feb 1999 17:32:10 +0100 | wenzelm | usedir -r; | changeset | files |
| Wed, 03 Feb 1999 17:30:17 +0100 | wenzelm | Session.init; | changeset | files |
| Wed, 03 Feb 1999 17:29:48 +0100 | wenzelm | Theory loader database: theory and file dependencies, theory values | changeset | files |
| Wed, 03 Feb 1999 17:29:12 +0100 | wenzelm | tidied; | changeset | files |
| Wed, 03 Feb 1999 17:28:40 +0100 | wenzelm | Session management -- maintain state of logic images. | changeset | files |
| Wed, 03 Feb 1999 17:28:02 +0100 | wenzelm | get_lexicon; | changeset | files |