# HG changeset patch
# User lcp
# Date 775328661 -7200
# Node ID 1a7717eca14566cd4f46d47ed860ffc20709fc65
# Parent  e6f0214ddac3df0e533a706251ac4994e53e70f7
logics update

diff -r e6f0214ddac3 -r 1a7717eca145 doc-src/ERRATA.txt
--- a/doc-src/ERRATA.txt	Wed Jul 27 16:09:14 1994 +0200
+++ b/doc-src/ERRATA.txt	Wed Jul 27 19:04:21 1994 +0200
@@ -1,5 +1,7 @@
 ERRATA in Springer book
 
+Thanks to Sara Kalvala, Tobias Nipkow
+
 * = corrected by sending new pages
 
 *page 50: In section heading, Mixfix should be mixfix
@@ -22,9 +24,14 @@
 
 Ref/tactic: documented subgoals_tac
 
-Logics/ZF: renamed mem_anti_sym and mem_anti_refl
+Ref/theories: added init_thy_reader and removed extend_theory.
 
 Ref/defining: type constraints ("::") now have a very low priority of 4.
               As in ML, they must be enclosed in paretheses most of the time.
 
-Ref/theories: added init_thy_reader and removed extend_theory.
+Ref/syntax (page 145?): there is a repeated "the" in "before the the .thy file"
+
+Logics/ZF: renamed mem_anti_sym and mem_anti_refl to mem_asym and mem_irrefl
+renamed union_iff to Union_iff
+renamed power_set to Pow_iff
+DiffD2: now is really a destruction rule