--- a/src/HOL/IsaMakefile Mon Nov 08 02:33:48 2010 +0100
+++ b/src/HOL/IsaMakefile Mon Nov 08 09:25:43 2010 +0100
@@ -270,6 +270,7 @@
Semiring_Normalization.thy \
SetInterval.thy \
Sledgehammer.thy \
+ Smallcheck.thy \
SMT.thy \
String.thy \
Typerep.thy \
@@ -336,6 +337,7 @@
Tools/Sledgehammer/sledgehammer_atp_reconstruct.ML \
Tools/Sledgehammer/sledgehammer_atp_translate.ML \
Tools/Sledgehammer/sledgehammer_util.ML \
+ Tools/smallvalue_generators.ML \
Tools/SMT/smtlib_interface.ML \
Tools/SMT/smt_builtin.ML \
Tools/SMT/smt_monomorph.ML \