src/ZF/Fin.thy
author lcp
Tue, 26 Jul 1994 13:21:20 +0200
changeset 484 70b789956bd3
parent 435 ca5356bd315a
permissions -rw-r--r--
Axiom of choice, cardinality results, etc.

(*Dummy theory to document dependencies *)

Fin = Arith + "inductive" + "equalities"