doc-src/ERRATA.txt
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)