src/HOL/ROOT
changeset 57543 36041934e429
parent 57507 a609065c9e15
child 57544 8840fa17e17c
     1.1 --- a/src/HOL/ROOT	Fri Jul 11 00:55:46 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Fri Jul 11 15:35:11 2014 +0200
     1.3 @@ -52,6 +52,7 @@
     1.4      (*legacy tools*)
     1.5      Refute
     1.6      Old_Recdef
     1.7 +    Quickcheck_Types
     1.8    theories [condition = ISABELLE_FULL_TEST]
     1.9      Sum_of_Squares_Remote
    1.10    document_files "root.bib" "root.tex"