Now loads theory Event, which contains common declarations

--- a/src/HOL/Auth/DB-ROOT.ML	Fri Jul 11 13:26:15 1997 +0200
+++ b/src/HOL/Auth/DB-ROOT.ML	Fri Jul 11 13:27:15 1997 +0200
@@ -12,4 +12,4 @@
 val banner = "Security Protocols";
 writeln banner;
 
-use_thy "Message";
+use_thy "Event";