--- a/src/HOL/ROOT Mon Sep 01 16:17:46 2014 +0200
+++ b/src/HOL/ROOT Mon Sep 01 16:17:46 2014 +0200
@@ -52,6 +52,7 @@
(*legacy tools*)
Refute
Old_Recdef
+ Old_SMT
theories [condition = ISABELLE_FULL_TEST]
Sum_of_Squares_Remote
document_files "root.bib" "root.tex"