# HG changeset patch
# User lcp
# Date 787839534 -3600
# Node ID 96f51689cdeb7ef65bb03bedd12db24355f3cf1a
# Parent  02430d273ebfed86aef89200850d17d5788969c7
added true theory dependencies

diff -r 02430d273ebf -r 96f51689cdeb src/ZF/Inductive.thy
--- a/src/ZF/Inductive.thy	Mon Dec 19 13:01:30 1994 +0100
+++ b/src/ZF/Inductive.thy	Mon Dec 19 13:18:54 1994 +0100
@@ -1,3 +1,3 @@
 (*Dummy theory to document dependencies *)
 
-Inductive = "indrule"
+Inductive = Fixedpt + Sum + QPair + "indrule"