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.
Added new theory Lambda/Type.
authorberghofe
Fri, 23 Jun 2000 14:00:43 +0200
changeset 9117 48ccddd9fdfe
parent 9116 9df44b5c610b
child 9118 62367f8fef02
Added new theory Lambda/Type.
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Fri Jun 23 12:29:55 2000 +0200
+++ b/src/HOL/IsaMakefile	Fri Jun 23 14:00:43 2000 +0200
@@ -287,7 +287,8 @@
   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/ROOT.ML
+  Lambda/ParRed.ML Lambda/ParRed.thy Lambda/Type.ML Lambda/Type.thy \
+  Lambda/ROOT.ML
 	@$(ISATOOL) usedir $(OUT)/HOL Lambda
isabelle