Tue, 27 Aug 2002 11:03:05 +0200 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
Thu, 15 Nov 2001 23:25:46 +0100 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
Fri, 05 Oct 2001 21:52:39 +0200 |
wenzelm |
sane numerals (stage 1): added generic 1, removed 1' and 2 on nat,
|
file |
diff |
annotate
|
Fri, 13 Oct 2000 10:49:05 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Thu, 12 Oct 2000 18:38:23 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Fri, 16 Oct 1998 17:33:43 +0200 |
nipkow |
Mods because trans_tac is now part of thge simplifier.
|
file |
diff |
annotate
|
Fri, 24 Jul 1998 13:44:27 +0200 |
berghofe |
Adapted to new datatype package.
|
file |
diff |
annotate
|
Mon, 27 Apr 1998 16:47:50 +0200 |
nipkow |
Renamed expand_const -> split_const
|
file |
diff |
annotate
|
Thu, 08 Jan 1998 18:06:21 +0100 |
oheimb |
*** empty log message ***
|
file |
diff |
annotate
|
Tue, 16 Dec 1997 17:58:03 +0100 |
wenzelm |
expandshort;
|
file |
diff |
annotate
|
Sat, 06 Dec 1997 16:48:39 +0100 |
nipkow |
Cleaned up arithmetic mess.
|
file |
diff |
annotate
|
Fri, 05 Dec 1997 17:20:25 +0100 |
wenzelm |
adapted proofs to cope with simprocs nat_cancel;
|
file |
diff |
annotate
|
Mon, 03 Nov 1997 14:06:27 +0100 |
wenzelm |
isatool fixclasimp;
|
file |
diff |
annotate
|
Wed, 30 Apr 1997 11:25:31 +0200 |
mueller |
Old NTP files now running under the IOA meta theory based on HOLCF;
|
file |
diff |
annotate
|