Addition of OtwayRees_AN
authorpaulson
Fri Oct 11 10:52:54 1996 +0200 (1996-10-11)
changeset 2091644104f85d14
parent 2090 307ebbbec862
child 2092 69bd90345078
Addition of OtwayRees_AN
src/HOL/Auth/Makefile
src/HOL/Auth/ROOT.ML
src/HOL/Makefile
     1.1 --- a/src/HOL/Auth/Makefile	Thu Oct 10 18:40:34 1996 +0200
     1.2 +++ b/src/HOL/Auth/Makefile	Fri Oct 11 10:52:54 1996 +0200
     1.3 @@ -4,7 +4,7 @@
     1.4  #
     1.5  BIN = $(ISABELLEBIN)
     1.6  COMP = $(ISABELLECOMP)
     1.7 -NAMES = Message Shared
     1.8 +NAMES = Message Shared NS_Shared OtwayRees OtwayRees_AN Yahalom
     1.9  
    1.10  FILES = DB-ROOT.ML $(NAMES:%=%.thy) $(NAMES:%=%.ML)
    1.11  
     2.1 --- a/src/HOL/Auth/ROOT.ML	Thu Oct 10 18:40:34 1996 +0200
     2.2 +++ b/src/HOL/Auth/ROOT.ML	Fri Oct 11 10:52:54 1996 +0200
     2.3 @@ -14,5 +14,6 @@
     2.4  use_thy "Shared";
     2.5  use_thy "NS_Shared";
     2.6  use_thy "OtwayRees";
     2.7 +use_thy "OtwayRees_AN";
     2.8  use_thy "Yahalom";
     2.9  
     3.1 --- a/src/HOL/Makefile	Thu Oct 10 18:40:34 1996 +0200
     3.2 +++ b/src/HOL/Makefile	Fri Oct 11 10:52:54 1996 +0200
     3.3 @@ -134,7 +134,7 @@
     3.4  
     3.5  
     3.6  ##Authentication & Security Protocols
     3.7 -Auth_NAMES = Message Shared NS_Shared OtwayRees
     3.8 +Auth_NAMES = Message Shared NS_Shared OtwayRees OtwayRees_AN Yahalom
     3.9  
    3.10  AUTH_FILES = Auth/ROOT.ML $(AUTH_NAMES:%=Auth/%.thy) $(AUTH_NAMES:%=Auth/%.ML)
    3.11