Fri, 30 Oct 2009 19:03:53 +0100 Cezary Kaliszyk Regularize for equalities and a better tactic. "alpha.cases" now lifts.
Fri, 30 Oct 2009 18:31:06 +0100 Cezary Kaliszyk Regularization
Fri, 30 Oct 2009 16:37:09 +0100 Christian Urban merged
Fri, 30 Oct 2009 16:35:43 +0100 Christian Urban added some facts about fresh and support of lam
(0) -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip