src/HOL/IsaMakefile
changeset 10330 4362e906b745
parent 10274 130ff5eb2b80
child 10343 24c87e1366d8
equal deleted inserted replaced
10329:a9898d89a634 10330:4362e906b745
   160 ## HOL-Library
   160 ## HOL-Library
   161 
   161 
   162 HOL-Library: HOL $(LOG)/HOL-Library.gz
   162 HOL-Library: HOL $(LOG)/HOL-Library.gz
   163 
   163 
   164 $(LOG)/HOL-Library.gz: $(OUT)/HOL Library/Accessible_Part.thy \
   164 $(LOG)/HOL-Library.gz: $(OUT)/HOL Library/Accessible_Part.thy \
   165   Library/Library.thy Library/Multiset.thy Library/Quotient.thy \
   165   Library/Library.thy Library/List_Prefix.thy Library/Multiset.thy \
   166   Library/README.html Library/ROOT.ML Library/While_Combinator.thy \
   166   Library/Quotient.thy Library/README.html Library/ROOT.ML \
   167   Library/While_Combinator_Example.thy
   167   Library/While_Combinator.thy Library/While_Combinator_Example.thy
   168 	@$(ISATOOL) usedir $(OUT)/HOL Library
   168 	@$(ISATOOL) usedir $(OUT)/HOL Library
   169 
   169 
   170 
   170 
   171 ## HOL-Subst
   171 ## HOL-Subst
   172 
   172 
   252   Lex/AutoMaxChop.thy Lex/AutoMaxChop.ML Lex/AutoProj.thy Lex/AutoProj.ML \
   252   Lex/AutoMaxChop.thy Lex/AutoMaxChop.ML Lex/AutoProj.thy Lex/AutoProj.ML \
   253   Lex/Automata.thy Lex/Automata.ML Lex/Chopper.thy Lex/DA.thy Lex/DA.ML \
   253   Lex/Automata.thy Lex/Automata.ML Lex/Chopper.thy Lex/DA.thy Lex/DA.ML \
   254   Lex/MaxChop.thy Lex/MaxChop.ML Lex/MaxPrefix.thy Lex/MaxPrefix.ML \
   254   Lex/MaxChop.thy Lex/MaxChop.ML Lex/MaxPrefix.thy Lex/MaxPrefix.ML \
   255   Lex/NA.thy Lex/NA.ML Lex/NAe.thy Lex/NAe.ML Lex/RegExp2NAe.thy \
   255   Lex/NA.thy Lex/NA.ML Lex/NAe.thy Lex/NAe.ML Lex/RegExp2NAe.thy \
   256   Lex/RegExp2NAe.ML Lex/RegExp2NA.thy Lex/RegExp2NA.ML \
   256   Lex/RegExp2NAe.ML Lex/RegExp2NA.thy Lex/RegExp2NA.ML \
   257   Lex/Prefix.thy Lex/Prefix.ML Lex/ROOT.ML \
   257   Lex/ROOT.ML Lex/RegExp.thy Lex/RegSet.thy Lex/RegSet.ML \
   258   Lex/RegExp.thy Lex/RegSet.thy Lex/RegSet.ML \
   258   Lex/RegSet_of_nat_DA.thy Lex/RegSet_of_nat_DA.ML Library/List_Prefix.thy
   259   Lex/RegSet_of_nat_DA.thy Lex/RegSet_of_nat_DA.ML
       
   260 	@$(ISATOOL) usedir $(OUT)/HOL Lex
   259 	@$(ISATOOL) usedir $(OUT)/HOL Lex
   261 
   260 
   262 
   261 
   263 ## HOL-Algebra
   262 ## HOL-Algebra
   264 
   263