# HG changeset patch
# User berghofe
# Date 1056444154 -7200
# Node ID 86c56794b6410fa4ac5e8f2804060a088e4a90cc
# Parent  ace0ee5ed528b0d8f25b40aead7706fa720627e8
Added new theories StrongNorm and WeakNorm to Lambda example.

diff -r ace0ee5ed528 -r 86c56794b641 src/HOL/IsaMakefile
--- 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