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