Tue, 07 Aug 2007 20:19:55 +0200 |
wenzelm |
turned Unify flags into configuration options (global only);
|
file |
diff |
annotate
|
Tue, 31 Jul 2007 23:23:28 +0200 |
wenzelm |
simultaneous use_thys;
|
file |
diff |
annotate
|
Mon, 20 Nov 2006 23:47:10 +0100 |
wenzelm |
converted legacy ML scripts;
|
file |
diff |
annotate
|
Sun, 18 Sep 2005 15:20:08 +0200 |
wenzelm |
converted to Isar theory format;
|
file |
diff |
annotate
|
Sun, 22 May 2005 16:51:07 +0200 |
wenzelm |
Simplifier already setup in Pure;
|
file |
diff |
annotate
|
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
|