2009-12-10 Cezary Kaliszyk Moved Unused part of locale to Unused QuotMain.
2009-12-10 Cezary Kaliszyk Moved 'int_induct' to IntEx to keep IntEx2 being just theory of integers in order.
2009-12-10 Cezary Kaliszyk Removed 'Presburger' as it introduces int & other minor cleaning in Int2.
Loading...
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip