2019-03-16 Chengsong correctness test with enumeration
2019-03-15 Chengsong :test whether bsimp(bders(r, s)) == ders_simp(r,s)
2019-03-15 Chengsong removing PRED
2019-03-13 Chengsong more comments
2019-03-13 Chengsong i
2019-03-13 Chengsong run
No more entries
(0) +15 +100 tip