Mon, 05 Oct 1998 10:15:01 +0200 |
paulson |
tidied
|
file |
diff |
annotate
|
Mon, 22 Jun 1998 17:26:46 +0200 |
wenzelm |
isatool fixgoal;
|
file |
diff |
annotate
|
Mon, 25 May 1998 12:55:01 +0200 |
nipkow |
Swapped order of params.
|
file |
diff |
annotate
|
Thu, 14 May 1998 16:54:20 +0200 |
nipkow |
Reordred arguments in AutoChopper.
|
file |
diff |
annotate
|
Mon, 27 Apr 1998 16:46:56 +0200 |
nipkow |
Added conversion of reg.expr. to automata.
|
file |
diff |
annotate
|
Sat, 07 Mar 1998 16:29:29 +0100 |
nipkow |
Removed `addsplits [expand_if]'
|
file |
diff |
annotate
|
Mon, 03 Nov 1997 12:13:18 +0100 |
wenzelm |
isatool fixclasimp;
|
file |
diff |
annotate
|
Fri, 17 Oct 1997 15:25:12 +0200 |
nipkow |
setloop split_tac -> addsplits
|
file |
diff |
annotate
|
Fri, 10 Oct 1997 19:02:28 +0200 |
wenzelm |
fixed dots;
|
file |
diff |
annotate
|
Wed, 12 Feb 1997 18:54:39 +0100 |
nipkow |
New class "order" and accompanying changes.
|
file |
diff |
annotate
|
Mon, 07 Oct 1996 10:28:44 +0200 |
paulson |
Removed commands made redundant by new one-point rules
|
file |
diff |
annotate
|
Thu, 05 Sep 1996 10:29:20 +0200 |
paulson |
Miniscoping rules are deleted, as these brittle proofs
|
file |
diff |
annotate
|
Tue, 30 Jul 1996 17:33:26 +0200 |
berghofe |
Classical tactics now use default claset.
|
file |
diff |
annotate
|
Tue, 23 Apr 1996 16:58:57 +0200 |
oheimb |
repaired critical proofs depending on the order inside non-confluent SimpSets
|
file |
diff |
annotate
|
Tue, 30 Jan 1996 15:24:36 +0100 |
clasohm |
expanded tabs
|
file |
diff |
annotate
|
Sat, 18 Nov 1995 14:55:44 +0100 |
nipkow |
Half a lexical analyzer generator.
|
file |
diff |
annotate
|