src/HOL/Auth/ROOT.ML

--- a/src/HOL/Auth/ROOT.ML	Wed Apr 23 18:09:48 2003 +0200
+++ b/src/HOL/Auth/ROOT.ML	Fri Apr 25 11:18:14 2003 +0200
@@ -26,6 +26,7 @@
 time_use_thy "NS_Public_Bad";
 time_use_thy "NS_Public";
 time_use_thy "TLS";
+time_use_thy "CertifiedEmail";
 
 (*Blanqui's "guard" concept: protocol-independent secrecy*)
 time_use_thy "Guard/P1";