equal
deleted
inserted
replaced
102 |
102 |
103 ## HOL-Lex |
103 ## HOL-Lex |
104 |
104 |
105 HOL-Lex: HOL $(LOG)/HOL-Lex.gz |
105 HOL-Lex: HOL $(LOG)/HOL-Lex.gz |
106 |
106 |
107 $(LOG)/HOL-Lex.gz: $(OUT)/HOL Lex/Auto.thy Lex/Auto.ML \ |
107 $(LOG)/HOL-Lex.gz: $(OUT)/HOL \ |
108 Lex/AutoChopper.thy Lex/AutoChopper.ML Lex/AutoChopper1.thy \ |
108 Lex/AutoChopper.thy Lex/AutoChopper.ML Lex/AutoChopper1.thy \ |
109 Lex/Chopper.thy Lex/Prefix.thy Lex/Prefix.ML Lex/ROOT.ML \ |
109 Lex/AutoMaxChop.thy Lex/AutoMaxChop.ML Lex/AutoProj.thy Lex/AutoProj.ML \ |
110 Lex/Regset_of_auto.ML Lex/Regset_of_auto.thy Lex/MaxChop.thy Lex/MaxChop.ML \ |
110 Lex/Automata.thy Lex/Automata.ML Lex/Chopper.thy Lex/DA.thy Lex/DA.ML \ |
111 Lex/MaxPrefix.thy Lex/MaxPrefix.ML Lex/AutoMaxChop.thy Lex/AutoMaxChop.ML |
111 Lex/MaxChop.thy Lex/MaxChop.ML Lex/MaxPrefix.thy Lex/MaxPrefix.ML \ |
|
112 Lex/NA.thy Lex/NAe.thy Lex/NAe.ML Lex/NAe_of_RegExp.thy Lex/NAe_of_RegExp.ML\ |
|
113 Lex/Prefix.thy Lex/Prefix.ML Lex/ROOT.ML \ |
|
114 Lex/RegExp.thy Lex/RegSet.thy Lex/RegSet.ML \ |
|
115 Lex/RegSet_of_nat_DA.thy Lex/RegSet_of_nat_DA.ML |
112 @$(ISATOOL) usedir $(OUT)/HOL Lex |
116 @$(ISATOOL) usedir $(OUT)/HOL Lex |
113 |
117 |
114 |
118 |
115 ## HOL-Integ |
119 ## HOL-Integ |
116 |
120 |