diff -r 307ebbbec862 -r 644104f85d14 src/HOL/Makefile
--- 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)