src/HOL/ROOT

--- a/src/HOL/ROOT	Thu Jul 24 13:48:00 2014 +0200
+++ b/src/HOL/ROOT	Thu Jul 24 14:04:55 2014 +0200
@@ -38,6 +38,7 @@
     Product_Lexorder
     Product_Order
     Finite_Lattice
+    Quickcheck_Types
     (*data refinements and dependent applications*)
     AList_Mapping
     Code_Binary_Nat
@@ -52,7 +53,6 @@
     (*legacy tools*)
     Refute
     Old_Recdef
-    Quickcheck_Types
   theories [condition = ISABELLE_FULL_TEST]
     Sum_of_Squares_Remote
   document_files "root.bib" "root.tex"