
diff -r 1658fc9b2618 -r 747d36865c2c src/Doc/Tutorial/Protocol/Public.thy
--- a/src/Doc/Tutorial/Protocol/Public.thy	Tue Feb 23 16:41:14 2016 +0100
+++ b/src/Doc/Tutorial/Protocol/Public.thy	Tue Feb 23 17:47:23 2016 +0100
@@ -169,4 +169,4 @@
     "for proving possibility theorems"
 
 end
-(*>*)
\ No newline at end of file
+(*>*)




