2009-11-13 extended theory simpset to simplify non-linear problems
boehmes [Fri, 13 Nov 2009 15:02:51 +0100] rev 33660
extended theory simpset to simplify non-linear problems
2009-11-13 more "anti_sym" -> "antisym" (cf. a4179bf442d1);
wenzelm [Fri, 13 Nov 2009 15:38:45 +0100] rev 33659
more "anti_sym" -> "antisym" (cf. a4179bf442d1);
2009-11-13 merged
nipkow [Fri, 13 Nov 2009 14:14:16 +0100] rev 33658
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip