src/HOL/ROOT

     Code_Integer
     Efficient_Nat
     (* 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"
 
 session "HOL-Hahn_Banach" in Hahn_Banach = HOL +

     Normalization_by_Evaluation
     Hebrew
     Chinese
     Serbian
     "~~/src/HOL/Library/FinFun_Syntax"
+    "~~/src/HOL/Library/Refute"
   theories
     Iff_Oracle
     Coercion_Examples
     Numeral_Representation
     Higher_Order_Logic