# HG changeset patch
# User paulson
# Date 1143475802 -7200
# Node ID eaf569aa8fd46ccebe56ccd7859b71b617802b88
# Parent  d6ddf304ec24b964a1bd6cbba07ff78db0ba9a4d
removed illegal character codes

diff -r d6ddf304ec24 -r eaf569aa8fd4 src/HOL/OrderedGroup.ML
--- a/src/HOL/OrderedGroup.ML	Sun Mar 26 03:22:42 2006 +0200
+++ b/src/HOL/OrderedGroup.ML	Mon Mar 27 18:10:02 2006 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOL/OrderedGroup.ML
     ID:         $Id$
-    Author:     Steven Obua, Tobias Nipkow, Technische Universit� Mnchen
+    Author:     Steven Obua, Tobias Nipkow, Technische Universitaet Mnchen
 *)
 
 structure ab_group_add_cancel_data :> ABEL_CANCEL  =