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