| Tue, 16 Dec 1997 17:58:03 +0100 | wenzelm | expandshort; | file | diff | annotate |
| Tue, 28 Oct 1997 17:56:15 +0100 | wenzelm | PureThy.add_store_axioms; | file | diff | annotate |
| Wed, 01 Oct 1997 18:13:41 +0200 | wenzelm | fully qualified names: Theory.add_XXX; | file | diff | annotate |
| Thu, 20 Mar 1997 11:09:01 +0100 | wenzelm | replaced ex.ML by ex/ROOT.ML, ex/ex.ML; | file | diff | annotate |