src/HOL/Inductive.thy
changeset 24625 0398a5e802d3
parent 24349 0dd8782fb02d
child 24626 85eceef2edc7
     1.1 --- a/src/HOL/Inductive.thy	Tue Sep 18 07:36:15 2007 +0200
     1.2 +++ b/src/HOL/Inductive.thy	Tue Sep 18 07:36:38 2007 +0200
     1.3 @@ -11,6 +11,7 @@
     1.4    ("Tools/inductive_package.ML")
     1.5    ("Tools/inductive_set_package.ML")
     1.6    ("Tools/inductive_realizer.ML")
     1.7 +  "Tools/dseq.ML"
     1.8    ("Tools/inductive_codegen.ML")
     1.9    ("Tools/datatype_aux.ML")
    1.10    ("Tools/datatype_prop.ML")