Sat, 13 Mar 2010 16:44:12 +0100 |
removed old CVS Ids;
|
file | diff | annotate |
Tue, 07 Aug 2007 20:19:55 +0200 |
turned Unify flags into configuration options (global only);
|
file | diff | annotate |
Tue, 31 Jul 2007 23:23:28 +0200 |
simultaneous use_thys;
|
file | diff | annotate |
Mon, 20 Nov 2006 23:47:10 +0100 |
converted legacy ML scripts;
|
file | diff | annotate |
Sun, 18 Sep 2005 15:20:08 +0200 |
converted to Isar theory format;
|
file | diff | annotate |
Sun, 22 May 2005 16:51:07 +0200 |
Simplifier already setup in Pure;
|
file | diff | annotate |
Tue, 30 May 2000 16:08:38 +0200 |
cleaned up;
|
file | diff | annotate |
Wed, 28 Jul 1999 13:50:35 +0200 |
sequents require higher bounds
|
file | diff | annotate |
Tue, 27 Jul 1999 19:02:43 +0200 |
installation of simplifier and classical reasoner, better rules etc
|
file | diff | annotate |
Thu, 11 Mar 1999 13:20:35 +0100 |
removed foo_build_completed -- now handled by session management (via usedir);
|
file | diff | annotate |
Tue, 28 Jul 1998 17:05:34 +0200 |
removed global_names flag;
|
file | diff | annotate |
Mon, 20 Oct 1997 11:39:29 +0200 |
adapted to qualified names;
|
file | diff | annotate |
Wed, 09 Jul 1997 17:00:34 +0200 |
removed obsolete init_pps and init_thy_reader;
|
file | diff | annotate |
Wed, 27 Nov 1996 12:59:12 +0100 |
Replaced obsolete "use" command
|
file | diff | annotate |
Wed, 09 Oct 1996 13:32:33 +0200 |
New unified treatment of sequent calculi by Sara Kalvala
|
file | diff | annotate |