src/ZF/Fin.thy
author lcp
Fri, 06 May 1994 15:02:57 +0200
changeset 363 1180a3c5479e
child 435 ca5356bd315a
permissions -rw-r--r--
renaming/removal of filenames to correct case

(*Dummy theory to document dependencies *)

fin = Arith + "inductive" + "constructor" + "intr_elim" + "equalities"