equal
deleted
inserted
replaced
289 ## HOL-Lex |
289 ## HOL-Lex |
290 |
290 |
291 HOL-Lex: HOL $(LOG)/HOL-Lex.gz |
291 HOL-Lex: HOL $(LOG)/HOL-Lex.gz |
292 |
292 |
293 $(LOG)/HOL-Lex.gz: $(OUT)/HOL \ |
293 $(LOG)/HOL-Lex.gz: $(OUT)/HOL \ |
294 Lex/AutoChopper.thy Lex/AutoChopper.ML Lex/AutoChopper1.thy \ |
294 Lex/AutoChopper.thy Lex/AutoChopper1.thy \ |
295 Lex/AutoMaxChop.thy Lex/AutoMaxChop.ML Lex/AutoProj.thy Lex/AutoProj.ML \ |
295 Lex/AutoMaxChop.thy Lex/AutoMaxChop.ML Lex/AutoProj.thy \ |
296 Lex/Automata.thy Lex/Automata.ML Lex/Chopper.thy Lex/DA.thy Lex/DA.ML \ |
296 Lex/Automata.thy Lex/Chopper.thy Lex/DA.thy \ |
297 Lex/MaxChop.thy Lex/MaxChop.ML Lex/MaxPrefix.thy Lex/MaxPrefix.ML \ |
297 Lex/MaxChop.thy Lex/MaxPrefix.thy \ |
298 Lex/NA.thy Lex/NA.ML Lex/NAe.thy Lex/NAe.ML Lex/RegExp2NAe.thy \ |
298 Lex/NA.thy Lex/NAe.thy Lex/RegExp2NAe.thy \ |
299 Lex/Scanner.thy Lex/RegExp2NAe.ML Lex/RegExp2NA.thy Lex/RegExp2NA.ML \ |
299 Lex/Scanner.thy Lex/RegExp2NAe.ML Lex/RegExp2NA.thy Lex/RegExp2NA.ML \ |
300 Lex/ROOT.ML Lex/RegExp.thy Lex/RegSet.thy Lex/RegSet.ML \ |
300 Lex/ROOT.ML Lex/RegExp.thy Lex/RegSet.thy Lex/RegSet.ML \ |
301 Lex/RegSet_of_nat_DA.thy Lex/RegSet_of_nat_DA.ML Library/List_Prefix.thy |
301 Lex/RegSet_of_nat_DA.thy Lex/RegSet_of_nat_DA.ML Library/List_Prefix.thy |
302 @$(ISATOOL) usedir $(OUT)/HOL Lex |
302 @$(ISATOOL) usedir $(OUT)/HOL Lex |
303 |
303 |