src/Sequents/prover.ML
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