Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Removed ML files from Lex
authornipkow
Thu, 04 Mar 2004 10:06:13 +0100
changeset 14429 0fce2d8bce0f
parent 14428 bb2b0e10d9be
child 14430 5cb24165a2e1
Removed ML files from Lex
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Thu Mar 04 10:04:42 2004 +0100
+++ b/src/HOL/IsaMakefile	Thu Mar 04 10:06:13 2004 +0100
@@ -291,11 +291,11 @@
 HOL-Lex: HOL $(LOG)/HOL-Lex.gz
 
 $(LOG)/HOL-Lex.gz: $(OUT)/HOL \
-  Lex/AutoChopper.thy Lex/AutoChopper.ML Lex/AutoChopper1.thy \
-  Lex/AutoMaxChop.thy Lex/AutoMaxChop.ML Lex/AutoProj.thy Lex/AutoProj.ML \
-  Lex/Automata.thy Lex/Automata.ML Lex/Chopper.thy Lex/DA.thy Lex/DA.ML \
-  Lex/MaxChop.thy Lex/MaxChop.ML Lex/MaxPrefix.thy Lex/MaxPrefix.ML \
-  Lex/NA.thy Lex/NA.ML Lex/NAe.thy Lex/NAe.ML Lex/RegExp2NAe.thy \
+  Lex/AutoChopper.thy Lex/AutoChopper1.thy \
+  Lex/AutoMaxChop.thy Lex/AutoMaxChop.ML Lex/AutoProj.thy \
+  Lex/Automata.thy Lex/Chopper.thy Lex/DA.thy \
+  Lex/MaxChop.thy Lex/MaxPrefix.thy \
+  Lex/NA.thy Lex/NAe.thy Lex/RegExp2NAe.thy \
   Lex/Scanner.thy Lex/RegExp2NAe.ML Lex/RegExp2NA.thy Lex/RegExp2NA.ML \
   Lex/ROOT.ML Lex/RegExp.thy Lex/RegSet.thy Lex/RegSet.ML \
   Lex/RegSet_of_nat_DA.thy Lex/RegSet_of_nat_DA.ML Library/List_Prefix.thy
isabelle