--- a/src/HOL/Auth/Makefile Thu Oct 10 18:40:34 1996 +0200
+++ b/src/HOL/Auth/Makefile Fri Oct 11 10:52:54 1996 +0200
@@ -4,7 +4,7 @@
#
BIN = $(ISABELLEBIN)
COMP = $(ISABELLECOMP)
-NAMES = Message Shared
+NAMES = Message Shared NS_Shared OtwayRees OtwayRees_AN Yahalom
FILES = DB-ROOT.ML $(NAMES:%=%.thy) $(NAMES:%=%.ML)
--- a/src/HOL/Auth/ROOT.ML Thu Oct 10 18:40:34 1996 +0200
+++ b/src/HOL/Auth/ROOT.ML Fri Oct 11 10:52:54 1996 +0200
@@ -14,5 +14,6 @@
use_thy "Shared";
use_thy "NS_Shared";
use_thy "OtwayRees";
+use_thy "OtwayRees_AN";
use_thy "Yahalom";
--- a/src/HOL/Makefile Thu Oct 10 18:40:34 1996 +0200
+++ b/src/HOL/Makefile Fri Oct 11 10:52:54 1996 +0200
@@ -134,7 +134,7 @@
##Authentication & Security Protocols
-Auth_NAMES = Message Shared NS_Shared OtwayRees
+Auth_NAMES = Message Shared NS_Shared OtwayRees OtwayRees_AN Yahalom
AUTH_FILES = Auth/ROOT.ML $(AUTH_NAMES:%=Auth/%.thy) $(AUTH_NAMES:%=Auth/%.ML)