--- a/src/HOL/ROOT Fri Jul 11 00:55:46 2014 +0200
+++ b/src/HOL/ROOT Fri Jul 11 15:35:11 2014 +0200
@@ -52,6 +52,7 @@
(*legacy tools*)
Refute
Old_Recdef
+ Quickcheck_Types
theories [condition = ISABELLE_FULL_TEST]
Sum_of_Squares_Remote
document_files "root.bib" "root.tex"