| Tue, 05 Aug 1997 17:02:50 +0200 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Tue, 05 Aug 1997 17:01:02 +0200 |
wenzelm |
removed ML-Systems/smlnj-1.07.ML;
|
changeset |
files
|
| Tue, 05 Aug 1997 16:44:46 +0200 |
wenzelm |
SML/NJ 1.07 no longer supported!
|
changeset |
files
|
| Tue, 05 Aug 1997 16:43:54 +0200 |
wenzelm |
cleaned up;
|
changeset |
files
|
| Tue, 05 Aug 1997 16:22:17 +0200 |
nipkow |
Added example mapf which requires a special congruence rule.
|
changeset |
files
|
| Tue, 05 Aug 1997 16:21:45 +0200 |
nipkow |
Added function `replicate' and lemmas map_cong and set_replicate.
|
changeset |
files
|
| Tue, 05 Aug 1997 16:14:23 +0200 |
wenzelm |
cleaned up;
|
changeset |
files
|
| Tue, 05 Aug 1997 10:50:24 +0200 |
paulson |
Corrected a comment
|
changeset |
files
|
| Mon, 04 Aug 1997 11:50:35 +0200 |
nipkow |
Added a take/dropWhile lemma.
|
changeset |
files
|
| Fri, 01 Aug 1997 10:59:19 +0200 |
nipkow |
Generalized nth_drop (Conny).
|
changeset |
files
|
| Fri, 01 Aug 1997 09:42:19 +0200 |
nipkow |
Corected bug in def of dropWhile (also present in Haskell lib!)
|
changeset |
files
|
| Fri, 01 Aug 1997 09:41:38 +0200 |
nipkow |
Had to remove {x.x=a} = a from !simpset in one proof.
|
changeset |
files
|