src/HOL/ROOT
changeset 49985 5b4b0e4e5205
parent 49932 9d3bc26485eb
child 50023 28f3263d4d1b
--- a/src/HOL/ROOT	Wed Oct 31 11:23:21 2012 +0100
+++ b/src/HOL/ROOT	Wed Oct 31 11:23:21 2012 +0100
@@ -49,6 +49,7 @@
     (* Code_Prolog  FIXME cf. 76965c356d2a *)
     Code_Real_Approx_By_Float
     Target_Numeral
+    Refute
   theories [condition = ISABELLE_FULL_TEST]
     Sum_of_Squares_Remote
   files "document/root.bib" "document/root.tex"
@@ -422,6 +423,7 @@
     Chinese
     Serbian
     "~~/src/HOL/Library/FinFun_Syntax"
+    "~~/src/HOL/Library/Refute"
   theories
     Iff_Oracle
     Coercion_Examples