Name | Date | Size | ||
---|---|---|---|---|
.. | 30-Oct-2020 | 14 | ||
assoc_fold.ML | H A D | 25-Jul-2019 | 1.7 KiB | |
cancel_div_mod.ML | H A D | 25-Jul-2019 | 2.7 KiB | |
cancel_numeral_factor.ML | H A D | 30-Oct-2020 | 3.1 KiB | |
cancel_numerals.ML | H A D | 30-Oct-2020 | 3.9 KiB | |
combine_numerals.ML | H A D | 30-Oct-2020 | 3.5 KiB | |
extract_common_term.ML | H A D | 30-Oct-2020 | 2.6 KiB | |
fast_lin_arith.ML | H A D | 25-Jul-2019 | 34 KiB |