equal
deleted
inserted
replaced
90 *** HOLCF *** |
90 *** HOLCF *** |
91 |
91 |
92 * HOLCF: discontinued special version of 'constdefs' (which used to |
92 * HOLCF: discontinued special version of 'constdefs' (which used to |
93 support continuous functions) in favor of the general Pure one with |
93 support continuous functions) in favor of the general Pure one with |
94 full type-inference. |
94 full type-inference. |
|
95 |
|
96 |
|
97 *** ZF *** |
|
98 |
|
99 * ZF/ex/{Group,Ring}: examples in abstract algebra, including the First |
|
100 Isomorphism Theorem (on quotienting by the kernel of a homomorphism). |
95 |
101 |
96 |
102 |
97 |
103 |
98 New in Isabelle2004 (April 2004) |
104 New in Isabelle2004 (April 2004) |
99 -------------------------------- |
105 -------------------------------- |