Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper scope of comments;
authorwenzelm
Thu, 24 Jul 2014 14:04:55 +0200
changeset 57644 6ca1646b6f14
parent 57643 858bee39acde
child 57645 ee55e667dedc
proper scope of comments;
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- 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"
isabelle