| 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
|
| Mon, 29 Sep 1997 11:49:33 +0200 |
paulson |
Now using qed_spec_mp
|
file |
diff |
annotate
|
| Fri, 04 Apr 1997 11:33:51 +0200 |
paulson |
Another blast_tac call
|
file |
diff |
annotate
|
| Wed, 02 Apr 1997 15:36:32 +0200 |
paulson |
Mostly converted to blast_tac
|
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
|
| Tue, 08 Oct 1996 10:18:53 +0200 |
paulson |
Removed command made redundant by the new one-point rules
|
file |
diff |
annotate
|
| Fri, 29 Mar 1996 11:38:47 +0100 |
paulson |
Simplified proof of tiling_UnI
|
file |
diff |
annotate
|
| Thu, 28 Mar 1996 10:56:10 +0100 |
paulson |
Alternative proof removes dependence upon AC
|
file |
diff |
annotate
|
| Tue, 26 Mar 1996 11:32:14 +0100 |
paulson |
New example: mutilated checkerboard
|
file |
diff |
annotate
|