src/Sequents/prover.ML
Wed, 28 Nov 2001 00:46:26 +0100 wenzelm theory data: removed obsolete finish method;
Fri, 09 Nov 2001 00:19:20 +0100 wenzelm theory data: finish method;
Mon, 02 Aug 1999 15:40:30 +0200 wenzelm cat_lines;
Wed, 28 Jul 1999 13:55:02 +0200 paulson renamed ...thm_pack... to ...pack...
Tue, 27 Jul 1999 19:01:46 +0200 paulson moved the modal prover to modal.ML; installed the prover using TheoryDataFun
Mon, 28 Dec 1998 17:03:47 +0100 paulson added new arg for print_tac
Fri, 19 Dec 1997 10:13:47 +0100 wenzelm adapted to new sort function;
Mon, 20 Oct 1997 11:39:29 +0200 wenzelm adapted to qualified names;
Tue, 22 Jul 1997 11:14:18 +0200 paulson Removal of the tactical STATE
Wed, 09 Oct 1996 13:32:33 +0200 paulson New unified treatment of sequent calculi by Sara Kalvala
less more (0) tip