src/HOL/ex/ROOT.ML
changeset 30689 b14b2cc4e25e
parent 30429 39acdf031548
child 30740 2d3ae5a7edb2
     1.1 --- a/src/HOL/ex/ROOT.ML	Mon Mar 23 19:01:17 2009 +0100
     1.2 +++ b/src/HOL/ex/ROOT.ML	Mon Mar 23 19:01:17 2009 +0100
     1.3 @@ -21,7 +21,6 @@
     1.4  
     1.5  use_thys [
     1.6    "Numeral",
     1.7 -  "ImperativeQuicksort",
     1.8    "Higher_Order_Logic",
     1.9    "Abstract_NAT",
    1.10    "Guess",