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