equal
deleted
inserted
replaced
|
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 |