equal
deleted
inserted
replaced
9 theory Arith_Tools |
9 theory Arith_Tools |
10 imports NatBin |
10 imports NatBin |
11 uses |
11 uses |
12 "~~/src/Provers/Arith/cancel_numeral_factor.ML" |
12 "~~/src/Provers/Arith/cancel_numeral_factor.ML" |
13 "~~/src/Provers/Arith/extract_common_term.ML" |
13 "~~/src/Provers/Arith/extract_common_term.ML" |
14 "int_factor_simprocs.ML" |
14 "Tools/int_factor_simprocs.ML" |
15 "nat_simprocs.ML" |
15 "Tools/nat_simprocs.ML" |
16 "Tools/Qelim/qelim.ML" |
16 "Tools/Qelim/qelim.ML" |
17 begin |
17 begin |
18 |
18 |
19 subsection {* Simprocs for the Naturals *} |
19 subsection {* Simprocs for the Naturals *} |
20 |
20 |