src/HOL/ROOT

--- a/src/HOL/ROOT	Mon Aug 27 11:41:54 2012 +0200
+++ b/src/HOL/ROOT	Sun Aug 19 17:45:07 2012 +0200
@@ -49,6 +49,8 @@
     (* Code_Prolog  FIXME cf. 76965c356d2a *)
     Code_Real_Approx_By_Float
     Target_Numeral
+  theories [condition = ISABELLE_FULL_TEST]
+    Sum_of_Squares_Remote
   files "document/root.bib" "document/root.tex"
 
 session "HOL-Hahn_Banach" in Hahn_Banach = HOL +