# 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