--- a/src/HOL/Auth/Guard/Auth_Guard_Public.thy Fri Apr 21 16:48:12 2017 +0200
+++ b/src/HOL/Auth/Guard/Auth_Guard_Public.thy Fri Apr 21 16:48:58 2017 +0200
@@ -6,10 +6,10 @@
theory Auth_Guard_Public
imports
- "P1"
- "P2"
- "Guard_NS_Public"
- "Proto"
+ P1
+ P2
+ Guard_NS_Public
+ Proto
begin
end