Wed, 27 Jan 2010 11:48:04 +0100 Christian Urban very rough example file for how nominal2 specification can be parsed
Wed, 27 Jan 2010 11:31:16 +0100 Christian Urban reordered cases in regularize (will be merged into two cases)
Wed, 27 Jan 2010 08:41:42 +0100 Christian Urban use of equiv_relation_chk in quotient_term
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip