src/HOL/Recdef.thy
changeset 8303 5e7037409118
parent 7701 2c8c3b7003e5
child 9855 709a295731e2
     1.1 --- a/src/HOL/Recdef.thy	Sun Feb 27 15:22:14 2000 +0100
     1.2 +++ b/src/HOL/Recdef.thy	Sun Feb 27 15:23:28 2000 +0100
     1.3 @@ -29,10 +29,8 @@
     1.4    "../TFL/post.sml"
     1.5  
     1.6    (*theory extender wrapper module*)
     1.7 -  "Tools/recdef_package.ML"
     1.8 -  "Tools/induct_method.ML":
     1.9 +  "Tools/recdef_package.ML":
    1.10  
    1.11  setup RecdefPackage.setup
    1.12 -setup InductMethod.setup
    1.13  
    1.14  end