src/HOL/IsaMakefile
changeset 41906 e163d435ccf7
parent 41892 2386fb64feaf
child 41911 c6e66b32ce16
equal deleted inserted replaced
41905:e2611bc96022 41906:e163d435ccf7
   467   Library/Sum_of_Squares/sum_of_squares.ML				\
   467   Library/Sum_of_Squares/sum_of_squares.ML				\
   468   Library/Transitive_Closure_Table.thy Library/Univ_Poly.thy		\
   468   Library/Transitive_Closure_Table.thy Library/Univ_Poly.thy		\
   469   Library/While_Combinator.thy Library/Zorn.thy				\
   469   Library/While_Combinator.thy Library/Zorn.thy				\
   470   $(SRC)/Tools/adhoc_overloading.ML Library/positivstellensatz.ML	\
   470   $(SRC)/Tools/adhoc_overloading.ML Library/positivstellensatz.ML	\
   471   Library/reflection.ML Library/reify_data.ML				\
   471   Library/reflection.ML Library/reify_data.ML				\
       
   472   Library/LSC.thy $(SRC)/HOL/Tools/LSC/lazysmallcheck.ML 		\
       
   473   $(SRC)/HOL/Tools/LSC/LazySmallCheck.hs 				\
   472   Library/document/root.bib Library/document/root.tex
   474   Library/document/root.bib Library/document/root.tex
   473 	@cd Library; $(ISABELLE_TOOL) usedir -b $(OUT)/HOL HOL-Library
   475 	@cd Library; $(ISABELLE_TOOL) usedir -b $(OUT)/HOL HOL-Library
   474 
   476 
   475 
   477 
   476 ## HOL-Hahn_Banach
   478 ## HOL-Hahn_Banach