1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-src/ERRATA.txt	Mon Jul 11 16:47:20 1994 +0200
     1.3 @@ -0,0 +1,25 @@
     1.4 +ERRATA in Springer book
     1.5 +
     1.6 +* = corrected by sending new pages
     1.7 +
     1.8 +*page 50: In section heading, Mixfix should be mixfix
     1.9 +
    1.10 +page 52: the declaration  "types bool,nat"  is illegal    
    1.11 +
    1.12 +*page 217 and 251: fst and snd should be fst_conv and snd_conv.
    1.13 +*Also affects index: pages 310 and 317!
    1.14 +
    1.15 +pages 222, 223: The braces need escaping in
    1.16 +\tdx{qconverse_def}   qconverse(r) == {z. w:r, EX x y. w=<x;y> & z=<y;x>}
    1.17 +\tdx{QSigma_def}      QSigma(A,B)  == UN x:A. UN y:B(x). {<x;y>}
    1.18 +\tdx{lfp_def}        lfp(D,h) == Inter({X: Pow(D). h(X) <= X})
    1.19 +\tdx{gfp_def}        gfp(D,h) == Union({X: Pow(D). X <= h(X)})
    1.20 +
    1.21 +*page 224: type of id, namely $\To i$, should be $i \To i$ 
    1.22 +
    1.23 +Intro/advanced.tex:val add_ss = FOL_ss addrews [add_0, add_Suc]
    1.24 +should be addsimps
    1.25 +
    1.26 +Ref/tactic: documented subgoals_tac
    1.27 +
    1.28 +Logics/ZF: renamed mem_anti_sym and mem_anti_refl