
diff -r addbc2387c61 -r 4e9e150422d5 src/HOL/ex/Adhoc_Overloading_Examples.thy
--- a/src/HOL/ex/Adhoc_Overloading_Examples.thy	Wed Sep 11 15:25:51 2013 +0200
+++ b/src/HOL/ex/Adhoc_Overloading_Examples.thy	Wed Sep 11 15:30:12 2013 +0200
@@ -1,5 +1,5 @@
-(*  Title:  HOL/ex/Adhoc_Overloading_Examples.thy
-    Author: Christian Sternagel
+(*  Title:      HOL/ex/Adhoc_Overloading_Examples.thy
+    Author:     Christian Sternagel
 *)
 
 header {* Ad Hoc Overloading *}




