src/ZF/Zorn.thy
author lcp
Tue, 26 Jul 1994 13:44:42 +0200
changeset 485 5e00a676a211
child 516 1957113f0d7d
permissions -rw-r--r--
Axiom of choice, cardinality results, etc.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
485
5e00a676a211 Axiom of choice, cardinality results, etc.
lcp
parents:
diff changeset
     1
(*Dummy theory to document dependencies *)
5e00a676a211 Axiom of choice, cardinality results, etc.
lcp
parents:
diff changeset
     2
5e00a676a211 Axiom of choice, cardinality results, etc.
lcp
parents:
diff changeset
     3
Zorn = Zorn0