src/ZF/indrule.thy
changeset 6053 8a1059aa01f0
parent 6052 4f093e55beeb
child 6054 4a4f6ad607a1
     1.1 --- a/src/ZF/indrule.thy	Mon Dec 28 16:58:11 1998 +0100
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,3 +0,0 @@
     1.4 -(*Dummy theory to document dependencies *)
     1.5 -
     1.6 -indrule = "ind_syntax" + "cartprod" + "intr_elim"