--- a/src/HOL/Multivariate_Analysis/Brouwer_Fixpoint.thy Thu Nov 19 11:51:37 2009 +0100
+++ b/src/HOL/Multivariate_Analysis/Brouwer_Fixpoint.thy Thu Nov 19 11:57:30 2009 +0100
@@ -13,8 +13,8 @@
(* (c) Copyright, John Harrison 1998-2008 *)
(* ========================================================================= *)
-(* Author: John Harrison
- Translated to from HOL light: Robert Himmelmann, TU Muenchen *)
+(* Author: John Harrison
+ Translation from HOL light: Robert Himmelmann, TU Muenchen *)
header {* Results connected with topological dimension. *}