| Thu, 18 Nov 1999 08:50:19 +0100 |
A small mod.
|
file | diff | annotate |
| Wed, 17 Nov 1999 11:16:26 +0100 |
tidied
|
file | diff | annotate |
| Mon, 15 Nov 1999 09:41:06 +0100 |
Streamlined it a bit.
|
file | diff | annotate |
| Fri, 21 May 1999 10:56:46 +0200 |
preferring generic rules to specific ones...
|
file | diff | annotate |
| Wed, 07 Oct 1998 10:31:07 +0200 |
tidied
|
file | diff | annotate |
| Fri, 11 Sep 1998 16:25:40 +0200 |
fixed PROOF FAILED
|
file | diff | annotate |
| Thu, 10 Sep 1998 17:27:15 +0200 |
tidied
|
file | diff | annotate |
| Mon, 22 Jun 1998 17:26:46 +0200 |
isatool fixgoal;
|
file | diff | annotate |
| Mon, 03 Nov 1997 12:13:18 +0100 |
isatool fixclasimp;
|
file | diff | annotate |
| Fri, 10 Oct 1997 19:02:28 +0200 |
fixed dots;
|
file | diff | annotate |
| Mon, 26 May 1997 12:33:38 +0200 |
Renamed lessD to Suc_leI
|
file | diff | annotate |
| Wed, 12 Feb 1997 18:54:39 +0100 |
New class "order" and accompanying changes.
|
file | diff | annotate |
| Thu, 26 Sep 1996 12:47:47 +0200 |
Ran expandshort
|
file | diff | annotate |
| Mon, 23 Sep 1996 18:26:51 +0200 |
Proofs made more robust to work in presence of le_refl
|
file | diff | annotate |
| Fri, 21 Jun 1996 12:18:50 +0200 |
Classical tactics now use default claset.
|
file | diff | annotate |
| Tue, 23 Apr 1996 16:58:57 +0200 |
repaired critical proofs depending on the order inside non-confluent SimpSets
|
file | diff | annotate |
| Tue, 30 Jan 1996 15:24:36 +0100 |
expanded tabs
|
file | diff | annotate |
| Wed, 04 Oct 1995 13:12:14 +0100 |
added local simpsets
|
file | diff | annotate |
| Wed, 22 Mar 1995 12:42:34 +0100 |
converted ex with curried function application
|
file | diff | annotate |