# HG changeset patch
# User lcp
# Date 789958920 -3600
# Node ID 67692db44c7099ad8789f088003213aeb095e914
# Parent  ce99db6728ba60db6591409b2354b9f0051f7b88
empty_def typo

diff -r ce99db6728ba -r 67692db44c70 doc-src/ERRATA.txt
--- 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)