| Fri, 11 Jul 1997 13:27:15 +0200 | paulson | Now loads theory Event, which contains common declarations | file | diff | annotate |
| Wed, 09 Jul 1997 17:00:34 +0200 | wenzelm | removed obsolete init_pps and init_thy_reader; | file | diff | annotate |
| Wed, 29 Jan 1997 15:34:23 +0100 | paulson | The redeclaration of qed_spec_mp is unnecessary because it is now declared | file | diff | annotate |
| Thu, 05 Dec 1996 19:03:08 +0100 | paulson | Updating of banner | file | diff | annotate |
| Tue, 10 Sep 1996 11:07:16 +0200 | paulson | Dedicated root file for making the Auth database | file | diff | annotate |