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 theories StrongNorm and WeakNorm to Lambda example.
authorberghofe
Tue, 24 Jun 2003 10:42:34 +0200
changeset 14070 86c56794b641
parent 14069 ace0ee5ed528
child 14071 373806545656
Added new theories StrongNorm and WeakNorm to Lambda example.
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Tue Jun 24 10:41:53 2003 +0200
+++ b/src/HOL/IsaMakefile	Tue Jun 24 10:42:34 2003 +0200
@@ -430,7 +430,9 @@
 $(LOG)/HOL-Lambda.gz: $(OUT)/HOL Library/Accessible_Part.thy \
   Lambda/Commutation.thy Lambda/Eta.thy Lambda/InductTermi.thy Lambda/Lambda.thy \
   Lambda/ListApplication.thy Lambda/ListBeta.thy Lambda/ListOrder.thy \
-  Lambda/ParRed.thy Lambda/Type.thy Lambda/ROOT.ML Lambda/document/root.tex
+  Lambda/ParRed.thy Lambda/StrongNorm.thy Lambda/Type.thy \
+  Lambda/WeakNorm.thy Lambda/ROOT.ML \
+  Lambda/document/root.bib Lambda/document/root.tex
 	@$(ISATOOL) usedir -g true $(OUT)/HOL Lambda
isabelle