src/ZF/intr_elim.thy
changeset 516 1957113f0d7d
parent 124 858ab9a9b047
--- a/src/ZF/intr_elim.thy	Fri Aug 12 12:28:46 1994 +0200
+++ b/src/ZF/intr_elim.thy	Fri Aug 12 12:51:34 1994 +0200
@@ -1,3 +1,3 @@
 (*Dummy theory to document dependencies *)
 
-intr_elim = Fixedpt + "ind_syntax"
+intr_elim = "add_ind_def"