2009-12-08 | Christian Urban | merged | file | diff | annotate |
2009-12-08 | Christian Urban | implemented cleaning strategy with fun_map.simps on non-bounded variables; still a few rough edges | file | diff | annotate |
2009-12-08 | Cezary Kaliszyk | manually cleaned the hard lemma. | file | diff | annotate |