Wed, 05 Nov 1997 13:14:15 +0100 |
paulson |
Ran expandshort, especially to introduce Safe_tac
|
file |
diff |
annotate
|
Mon, 03 Nov 1997 12:24:13 +0100 |
wenzelm |
isatool fixclasimp;
|
file |
diff |
annotate
|
Thu, 03 Apr 1997 10:36:54 +0200 |
paulson |
Two extra commands shorten the proof time by 800 seconds...
|
file |
diff |
annotate
|
Wed, 08 Jan 1997 15:04:27 +0100 |
paulson |
Removal of sum_cs and eq_cs
|
file |
diff |
annotate
|
Fri, 03 Jan 1997 15:01:55 +0100 |
paulson |
Implicit simpsets and clasets for FOL and ZF
|
file |
diff |
annotate
|
Thu, 26 Sep 1996 15:49:54 +0200 |
paulson |
Ran expandshort; used stac instead of ssubst
|
file |
diff |
annotate
|
Thu, 09 May 1996 11:45:00 +0200 |
paulson |
Updated for new form of induction rules
|
file |
diff |
annotate
|
Tue, 30 Jan 1996 13:42:57 +0100 |
clasohm |
expanded tabs
|
file |
diff |
annotate
|
Mon, 27 Feb 1995 18:12:21 +0100 |
lcp |
New example by Jacob Frost, tidied by lcp
|
file |
diff |
annotate
|