doc-src/ERRATA.txt
author nipkow
Mon Jul 11 17:50:34 1994 +0200 (1994-07-11)
changeset 458 877704b91847
parent 456 f1df7fc211a7
child 479 db5a95f2952e
permissions -rw-r--r--
type constraints
     1 ERRATA in Springer book
     2 
     3 * = corrected by sending new pages
     4 
     5 *page 50: In section heading, Mixfix should be mixfix
     6 
     7 page 52: the declaration  "types bool,nat"  is illegal    
     8 
     9 *page 217 and 251: fst and snd should be fst_conv and snd_conv.
    10 *Also affects index: pages 310 and 317!
    11 
    12 pages 222, 223: The braces need escaping in
    13 \tdx{qconverse_def}   qconverse(r) == {z. w:r, EX x y. w=<x;y> & z=<y;x>}
    14 \tdx{QSigma_def}      QSigma(A,B)  == UN x:A. UN y:B(x). {<x;y>}
    15 \tdx{lfp_def}        lfp(D,h) == Inter({X: Pow(D). h(X) <= X})
    16 \tdx{gfp_def}        gfp(D,h) == Union({X: Pow(D). X <= h(X)})
    17 
    18 *page 224: type of id, namely $\To i$, should be $i \To i$ 
    19 
    20 Intro/advanced.tex:val add_ss = FOL_ss addrews [add_0, add_Suc]
    21 should be addsimps
    22 
    23 Ref/tactic: documented subgoals_tac
    24 
    25 Logics/ZF: renamed mem_anti_sym and mem_anti_refl
    26 
    27 Ref/defining: type constraints ("::") now have a very low priority of 4.
    28               As in ML, they must be enclosed in paretheses most of the time.