2009-12-10 | Cezary Kaliszyk | Moved Unused part of locale to Unused QuotMain. | changeset | files |
2009-12-10 | Cezary Kaliszyk | Moved 'int_induct' to IntEx to keep IntEx2 being just theory of integers in order. | changeset | files |
2009-12-10 | Cezary Kaliszyk | Removed 'Presburger' as it introduces int & other minor cleaning in Int2. | changeset | files |
Loading... |