1.1 --- a/src/HOL/ROOT Thu Jul 24 13:48:00 2014 +0200
1.2 +++ b/src/HOL/ROOT Thu Jul 24 14:04:55 2014 +0200
1.3 @@ -38,6 +38,7 @@
1.4 Product_Lexorder
1.5 Product_Order
1.6 Finite_Lattice
1.7 + Quickcheck_Types
1.8 (*data refinements and dependent applications*)
1.9 AList_Mapping
1.10 Code_Binary_Nat
1.11 @@ -52,7 +53,6 @@
1.12 (*legacy tools*)
1.13 Refute
1.14 Old_Recdef
1.15 - Quickcheck_Types
1.16 theories [condition = ISABELLE_FULL_TEST]
1.17 Sum_of_Squares_Remote
1.18 document_files "root.bib" "root.tex"