--- a/src/HOL/IsaMakefile Fri Mar 11 10:37:35 2011 +0100
+++ b/src/HOL/IsaMakefile Fri Mar 11 10:37:36 2011 +0100
@@ -469,6 +469,8 @@
Library/While_Combinator.thy Library/Zorn.thy \
$(SRC)/Tools/adhoc_overloading.ML Library/positivstellensatz.ML \
Library/reflection.ML Library/reify_data.ML \
+ Library/LSC.thy $(SRC)/HOL/Tools/LSC/lazysmallcheck.ML \
+ $(SRC)/HOL/Tools/LSC/LazySmallCheck.hs \
Library/document/root.bib Library/document/root.tex
@cd Library; $(ISABELLE_TOOL) usedir -b $(OUT)/HOL HOL-Library