added true theory dependencies
authorlcp
Mon Dec 19 13:18:54 1994 +0100 (1994-12-19)
changeset 80596f51689cdeb
parent 804 02430d273ebf
child 806 6330ca0a3ac5
added true theory dependencies
src/ZF/Inductive.thy
     1.1 --- a/src/ZF/Inductive.thy	Mon Dec 19 13:01:30 1994 +0100
     1.2 +++ b/src/ZF/Inductive.thy	Mon Dec 19 13:18:54 1994 +0100
     1.3 @@ -1,3 +1,3 @@
     1.4  (*Dummy theory to document dependencies *)
     1.5  
     1.6 -Inductive = "indrule"
     1.7 +Inductive = Fixedpt + Sum + QPair + "indrule"