| Tue, 30 May 2000 16:08:38 +0200 | wenzelm | cleaned up; | file | diff | annotate |
| Wed, 28 Jul 1999 13:50:35 +0200 | paulson | sequents require higher bounds | file | diff | annotate |
| Tue, 27 Jul 1999 19:02:43 +0200 | paulson | installation of simplifier and classical reasoner, better rules etc | file | diff | annotate |
| Thu, 11 Mar 1999 13:20:35 +0100 | wenzelm | removed foo_build_completed -- now handled by session management (via usedir); | file | diff | annotate |
| Tue, 28 Jul 1998 17:05:34 +0200 | wenzelm | removed global_names flag; | file | diff | annotate |
| Mon, 20 Oct 1997 11:39:29 +0200 | wenzelm | adapted to qualified names; | file | diff | annotate |
| Wed, 09 Jul 1997 17:00:34 +0200 | wenzelm | removed obsolete init_pps and init_thy_reader; | file | diff | annotate |
| Wed, 27 Nov 1996 12:59:12 +0100 | paulson | Replaced obsolete "use" command | file | diff | annotate |
| Wed, 09 Oct 1996 13:32:33 +0200 | paulson | New unified treatment of sequent calculi by Sara Kalvala | file | diff | annotate |