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.
dropped dangerous antiquotation
authorhaftmann
Wed, 12 Mar 2008 17:29:09 +0100
changeset 26263 c95b91870e3b
parent 26262 f5cb9602145f
child 26264 89e25cc8da7a
dropped dangerous antiquotation
src/HOL/Library/Option_ord.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/Option_ord.thy	Wed Mar 12 11:57:12 2008 +0100
+++ b/src/HOL/Library/Option_ord.thy	Wed Mar 12 17:29:09 2008 +0100
@@ -3,7 +3,7 @@
     Author:     Florian Haftmann, TU Muenchen
 *)
 
-header {* Canonical order on @{text option} type *}
+header {* Canonical order on option type *}
 
 theory Option_ord
 imports ATP_Linkup
isabelle