src/HOL/Isar_examples/ROOT.ML
changeset 10257 21055ac27708
parent 10145 e44b8b7cb01b
child 12105 1e4451999200
     1.1 --- a/src/HOL/Isar_examples/ROOT.ML	Wed Oct 18 23:35:08 2000 +0200
     1.2 +++ b/src/HOL/Isar_examples/ROOT.ML	Wed Oct 18 23:35:56 2000 +0200
     1.3 @@ -13,7 +13,6 @@
     1.4  time_use_thy "Summation";
     1.5  time_use_thy "KnasterTarski";
     1.6  time_use_thy "MutilatedCheckerboard";
     1.7 -with_path "../Induct"       time_use_thy "MultisetOrder";
     1.8  with_path "../W0"           time_use_thy "W_correct";
     1.9  with_path "../NumberTheory" time_use_thy "Fibonacci";
    1.10  time_use_thy "Puzzle";