| changeset 863 | 67692db44c70 |
| parent 718 | efca1e0710fb |
| child 872 | 9b7236d774bd |
--- a/doc-src/ERRATA.txt Fri Jan 13 02:01:26 1995 +0100 +++ b/doc-src/ERRATA.txt Fri Jan 13 02:02:00 1995 +0100 @@ -91,6 +91,7 @@ page 243: Pow is a new constant of type 'a set => 'a set set page 246: Pow is defined by Pow(A) == {B. B <= A} +empty_def should be {} == {x.False} page 248: Pow has the rules PowI A<=B ==> A: Pow(B)