Thu, 31 May 2001 20:52:51 +0200 |
wenzelm |
tuned
|
file |
diff |
annotate
|
Thu, 31 May 2001 16:52:47 +0200 |
oheimb |
added stream length, map, and filter
|
file |
diff |
annotate
|
Tue, 09 Jan 2001 15:36:30 +0100 |
nipkow |
` -> $
|
file |
diff |
annotate
|
Tue, 17 Oct 2000 10:20:43 +0200 |
paulson |
tidying and renaming of contrapos rules
|
file |
diff |
annotate
|
Wed, 05 Jul 2000 16:37:52 +0200 |
paulson |
massive tidy-up: goal -> Goal, remove use of prems, etc.
|
file |
diff |
annotate
|
Wed, 28 Jun 2000 10:54:21 +0200 |
paulson |
tidying and unbatchifying
|
file |
diff |
annotate
|
Wed, 12 Aug 1998 12:17:20 +0200 |
slotosch |
eliminated fabs,fapp.
|
file |
diff |
annotate
|
Tue, 10 Mar 1998 18:33:13 +0100 |
oheimb |
renamed is_chain to chain, is_tord to tord, replaced chain_finite by chfin
|
file |
diff |
annotate
|
Mon, 03 Nov 1997 14:06:27 +0100 |
wenzelm |
isatool fixclasimp;
|
file |
diff |
annotate
|
Thu, 30 Oct 1997 14:19:17 +0100 |
oheimb |
domain package:
|
file |
diff |
annotate
|
Fri, 10 Oct 1997 19:02:28 +0200 |
wenzelm |
fixed dots;
|
file |
diff |
annotate
|
Thu, 26 Jun 1997 10:43:15 +0200 |
nipkow |
amdI -> admI2
|
file |
diff |
annotate
|
Sun, 25 May 1997 16:17:09 +0200 |
slotosch |
Eliminated the prediates flat,chfin
|
file |
diff |
annotate
|
Fri, 31 Jan 1997 16:56:32 +0100 |
oheimb |
added Classlib.* and Witness.*,
|
file |
diff |
annotate
|