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