equal
deleted
inserted
replaced
5 Composition of homomorphisms, Pastre's examples, ... |
5 Composition of homomorphisms, Pastre's examples, ... |
6 *) |
6 *) |
7 |
7 |
8 section\<open>Miscellaneous ZF Examples\<close> |
8 section\<open>Miscellaneous ZF Examples\<close> |
9 |
9 |
10 theory misc imports Main begin |
10 theory misc imports ZF begin |
11 |
11 |
12 |
12 |
13 subsection\<open>Various Small Problems\<close> |
13 subsection\<open>Various Small Problems\<close> |
14 |
14 |
15 text\<open>The singleton problems are much harder in HOL.\<close> |
15 text\<open>The singleton problems are much harder in HOL.\<close> |