src/HOL/OrderedGroup.thy
changeset 22986 d21d3539f6bb
parent 22548 6ce4bddf3bcb
child 22997 d4f3b015b50b
     1.1 --- a/src/HOL/OrderedGroup.thy	Thu May 17 00:45:27 2007 +0200
     1.2 +++ b/src/HOL/OrderedGroup.thy	Thu May 17 08:41:23 2007 +0200
     1.3 @@ -200,8 +200,6 @@
     1.4  class pordered_cancel_ab_semigroup_add =
     1.5    pordered_ab_semigroup_add + cancel_ab_semigroup_add
     1.6  
     1.7 -instance pordered_cancel_ab_semigroup_add \<subseteq> pordered_ab_semigroup_add ..
     1.8 -
     1.9  class pordered_ab_semigroup_add_imp_le = pordered_cancel_ab_semigroup_add +
    1.10    assumes add_le_imp_le_left: "c \<^loc>+ a \<sqsubseteq> c \<^loc>+ b \<Longrightarrow> a \<sqsubseteq> b"
    1.11