src/HOL/IsaMakefile
changeset 4830 bd73675adbed
parent 4777 379f32b0ae40
child 4864 3abfe2093aa0
     1.1 --- a/src/HOL/IsaMakefile	Mon Apr 27 13:47:46 1998 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Mon Apr 27 16:45:11 1998 +0200
     1.3 @@ -104,11 +104,15 @@
     1.4  
     1.5  HOL-Lex: HOL $(LOG)/HOL-Lex.gz
     1.6  
     1.7 -$(LOG)/HOL-Lex.gz: $(OUT)/HOL Lex/Auto.thy Lex/Auto.ML \
     1.8 +$(LOG)/HOL-Lex.gz: $(OUT)/HOL \
     1.9    Lex/AutoChopper.thy Lex/AutoChopper.ML Lex/AutoChopper1.thy \
    1.10 -  Lex/Chopper.thy Lex/Prefix.thy Lex/Prefix.ML Lex/ROOT.ML \
    1.11 -  Lex/Regset_of_auto.ML Lex/Regset_of_auto.thy Lex/MaxChop.thy Lex/MaxChop.ML \
    1.12 -  Lex/MaxPrefix.thy Lex/MaxPrefix.ML Lex/AutoMaxChop.thy Lex/AutoMaxChop.ML
    1.13 +  Lex/AutoMaxChop.thy Lex/AutoMaxChop.ML Lex/AutoProj.thy Lex/AutoProj.ML \
    1.14 +  Lex/Automata.thy Lex/Automata.ML Lex/Chopper.thy Lex/DA.thy Lex/DA.ML \
    1.15 +  Lex/MaxChop.thy Lex/MaxChop.ML Lex/MaxPrefix.thy Lex/MaxPrefix.ML \
    1.16 +  Lex/NA.thy Lex/NAe.thy Lex/NAe.ML Lex/NAe_of_RegExp.thy Lex/NAe_of_RegExp.ML\
    1.17 +  Lex/Prefix.thy Lex/Prefix.ML Lex/ROOT.ML \
    1.18 +  Lex/RegExp.thy Lex/RegSet.thy Lex/RegSet.ML \
    1.19 +  Lex/RegSet_of_nat_DA.thy Lex/RegSet_of_nat_DA.ML
    1.20  	@$(ISATOOL) usedir $(OUT)/HOL Lex
    1.21  
    1.22