Sat, 05 Dec 2009 22:02:32 +0100 Christian Urban simplified inj_repabs_trm
Sat, 05 Dec 2009 21:50:31 +0100 Christian Urban merged
Sat, 05 Dec 2009 21:47:48 +0100 Christian Urban merged
Sat, 05 Dec 2009 21:45:56 +0100 Christian Urban merged
Sat, 05 Dec 2009 21:44:01 +0100 Christian Urban simpler version of clean_tac
Sat, 05 Dec 2009 21:45:39 +0100 Cezary Kaliszyk Handling of respects in the fast inj_repabs_tac; includes respects with quotient assumptions.
Sat, 05 Dec 2009 21:28:24 +0100 Cezary Kaliszyk Solutions to IntEx tests.
(0) -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 tip