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