empty_def typo Isabelle94-2
authorlcp
Fri Jan 13 02:02:00 1995 +0100 (1995-01-13)
changeset 86367692db44c70
parent 862 ce99db6728ba
child 864 d63b111b917a
empty_def typo
doc-src/ERRATA.txt
     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)