Lex dependencies modified
authornipkow
Thu Jan 17 19:37:42 2002 +0100 (2002-01-17)
changeset 12793e99d4a6cba8b
parent 12792 b344226f924c
child 12794 c992ee4168ff
Lex dependencies modified
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Thu Jan 17 19:32:22 2002 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Thu Jan 17 19:37:42 2002 +0100
     1.3 @@ -298,7 +298,7 @@
     1.4    Lex/Automata.thy Lex/Automata.ML Lex/Chopper.thy Lex/DA.thy Lex/DA.ML \
     1.5    Lex/MaxChop.thy Lex/MaxChop.ML Lex/MaxPrefix.thy Lex/MaxPrefix.ML \
     1.6    Lex/NA.thy Lex/NA.ML Lex/NAe.thy Lex/NAe.ML Lex/RegExp2NAe.thy \
     1.7 -  Lex/RegExp2NAe.ML Lex/RegExp2NA.thy Lex/RegExp2NA.ML \
     1.8 +  Lex/Scanner.thy Lex/RegExp2NAe.ML Lex/RegExp2NA.thy Lex/RegExp2NA.ML \
     1.9    Lex/ROOT.ML Lex/RegExp.thy Lex/RegSet.thy Lex/RegSet.ML \
    1.10    Lex/RegSet_of_nat_DA.thy Lex/RegSet_of_nat_DA.ML Library/List_Prefix.thy
    1.11  	@$(ISATOOL) usedir $(OUT)/HOL Lex