src/HOL/IsaMakefile

   Plain.thy \
   Power.thy \
   Predicate.thy \
   Product_Type.thy \
   Record.thy \
-  Refute.thy \
   Relation.thy \
   Rings.thy \
   SAT.thy \
   Set.thy \
   Sum_Type.thy \

   Quickcheck.thy \
   Quotient.thy \
   Random.thy \
   Random_Sequence.thy \
   Recdef.thy \
+  Refute.thy \
   Semiring_Normalization.thy \
   SetInterval.thy \
   Sledgehammer.thy \
   SMT.thy \
   String.thy \