src/HOL/IsaMakefile
changeset 41906 e163d435ccf7
parent 41892 2386fb64feaf
child 41911 c6e66b32ce16
--- 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