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