--- a/src/HOL/HOLCF/IOA/Storage/Impl.thy Fri Dec 03 20:26:57 2010 +0100
+++ b/src/HOL/HOLCF/IOA/Storage/Impl.thy Fri Dec 03 20:38:58 2010 +0100
@@ -1,5 +1,5 @@
(* Title: HOL/IOA/example/Spec.thy
- Author: Olaf Müller
+ Author: Olaf Müller
*)
header {* The implementation of a memory *}