# HG changeset patch
# User paulson
# Date 868620435 -7200
# Node ID 4d4f8c18255e7862a7ea1fd59cb6d03b5884ca98
# Parent  9dcb4daa15e8d28e359b85576171e51e2459a2ad
Now loads theory Event, which contains common declarations

diff -r 9dcb4daa15e8 -r 4d4f8c18255e src/HOL/Auth/DB-ROOT.ML
--- 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";