equal
deleted
inserted
replaced
43 |
43 |
44 Syntax Transformations |
44 Syntax Transformations |
45 |
45 |
46 page 145, line -5: delete repeated "the" in "before the the .thy file" |
46 page 145, line -5: delete repeated "the" in "before the the .thy file" |
47 |
47 |
|
48 Simplification |
|
49 |
|
50 page 158, "!": Isabelle now permits more general left-hand sides, so called |
|
51 higher-order patterns. |
48 |
52 |
49 ISABELLE'S OBJECT-LOGICS |
53 ISABELLE'S OBJECT-LOGICS |
50 |
54 |
51 Zermelo-Fraenkel Set Theory |
55 Zermelo-Fraenkel Set Theory |
52 |
56 |