2009-12-03 Cezary Kaliszyk Fixed previous mistake
2009-12-03 Cezary Kaliszyk defs used automatically by clean_tac
2009-12-03 Cezary Kaliszyk Added qoutient_consts dest for getting all the constant definitions in the cleaning step.
2009-12-03 Cezary Kaliszyk Added the definition to quotient constant data.
Loading...
(0) -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip