1
(*Dummy theory to document dependencies *)
2
3
Fin = Arith + "inductive" + "constructor" + "intr_elim" + "equalities"