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.
fixed document preparation
authorhaftmann
Tue, 30 Oct 2007 12:14:24 +0100
changeset 25238 ee73d4c33a88
parent 25237 5dbb6d583adc
child 25239 3d6abdd10382
fixed document preparation
src/HOL/Ring_and_Field.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Ring_and_Field.thy	Tue Oct 30 12:14:23 2007 +0100
+++ b/src/HOL/Ring_and_Field.thy	Tue Oct 30 12:14:24 2007 +0100
@@ -520,8 +520,8 @@
 
 class ordered_ring = ring + ordered_semiring
   + lordered_ab_group + abs_if
-  -- {*FIXME: should inherit from ordered_ab_group_add rather than
-         lordered_ab_group*}
+  -- {*FIXME: should inherit from @{text ordered_ab_group_add} rather than
+         @{text lordered_ab_group}*}
 
 instance ordered_ring \<subseteq> lordered_ring
 proof 
@@ -535,8 +535,8 @@
  *)
 class ordered_ring_strict = ring + ordered_semiring_strict
   + lordered_ab_group + abs_if
-  -- {*FIXME: should inherit from ordered_ab_group_add rather than
-         lordered_ab_group*}
+  -- {*FIXME: should inherit from @{text ordered_ab_group_add} rather than
+         @{text lordered_ab_group}*}
 
 instance ordered_ring_strict \<subseteq> ordered_ring by intro_classes
isabelle