changeset 10574 | 8f98f0301d67 |
parent 9436 | 62bb04ab4b01 |
child 11868 | 56db9f3a6b3e |
10573:1751ab881289 | 10574:8f98f0301d67 |
---|---|
1 |
|
2 theory IntArith = Bin |
1 theory IntArith = Bin |
3 files ("int_arith1.ML") ("int_arith2.ML"): |
2 files ("int_arith1.ML") ("int_arith2.ML"): |
4 |
3 |
5 use "int_arith1.ML" setup int_arith_setup |
4 use "int_arith1.ML" setup int_arith_setup |
6 use "int_arith2.ML" lemmas [arith_split] = zabs_split |
5 use "int_arith2.ML" lemmas [arith_split] = zabs_split |