src/HOL/Auth/DB-ROOT.ML

--- a/src/HOL/Auth/DB-ROOT.ML	Wed Jul 09 16:54:17 1997 +0200
+++ b/src/HOL/Auth/DB-ROOT.ML	Wed Jul 09 17:00:34 1997 +0200
@@ -12,7 +12,4 @@
 val banner = "Security Protocols";
 writeln banner;
 
-init_thy_reader();
-
 use_thy "Message";
-