proper scope of comments;
authorwenzelm
Thu Jul 24 14:04:55 2014 +0200 (2014-07-24)
changeset 576446ca1646b6f14
parent 57643 858bee39acde
child 57645 ee55e667dedc
proper scope of comments;
src/HOL/ROOT
     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"