# HG changeset patch
# User wenzelm
# Date 1406203495 -7200
# Node ID 6ca1646b6f146669484cc40de17554097ec2600a
# Parent  858bee39acdec53e1749cd645a615fc4cfa28986
proper scope of comments;

diff -r 858bee39acde -r 6ca1646b6f14 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"