2007-08-21 moved ordered_ab_semigroup_add to OrderedGroup.thy
haftmann [Tue, 21 Aug 2007 13:30:36 +0200] rev 24380
moved ordered_ab_semigroup_add to OrderedGroup.thy
2007-08-21 updated
haftmann [Tue, 21 Aug 2007 09:07:04 +0200] rev 24379
updated
(0) -10000 -3000 -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip