Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed illegal character codes
authorpaulson
Mon, 27 Mar 2006 18:10:02 +0200
changeset 19330 eaf569aa8fd4
parent 19329 d6ddf304ec24
child 19331 f5e84acd7d3f
removed illegal character codes
src/HOL/OrderedGroup.ML file | annotate | diff | comparison | revisions 
--- 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  =
isabelle