Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
changeset 9638 1f62547edc0e
parent 9595 ec388b0a4eaa
child 9650 6f0b89f2a1f9 
--- a/src/HOL/IsaMakefile	Thu Aug 17 12:02:01 2000 +0200
+++ b/src/HOL/IsaMakefile	Thu Aug 17 16:23:50 2000 +0200
@@ -308,8 +308,7 @@
   Lambda/InductTermi.thy Lambda/Lambda.ML Lambda/Lambda.thy \
   Lambda/ListApplication.ML Lambda/ListApplication.thy Lambda/ListBeta.ML \
   Lambda/ListBeta.thy Lambda/ListOrder.ML Lambda/ListOrder.thy \
-  Lambda/ParRed.ML Lambda/ParRed.thy Lambda/Type.ML Lambda/Type.thy \
-  Lambda/ROOT.ML
+  Lambda/ParRed.ML Lambda/ParRed.thy Lambda/Type.thy Lambda/ROOT.ML
 	@$(ISATOOL) usedir $(OUT)/HOL Lambda
isabelle