| author | wenzelm |
| Fri, 08 Mar 2002 16:24:06 +0100 | |
| changeset 13049 | ce180e5b7fa0 |
| parent 12023 | d982f98e0f0d |
| child 13575 | ecb6ecd9af13 |
| permissions | -rw-r--r-- |
| 12023 | 1 |
|
2 |
header {* Integer arithmetic *}
|
|
3 |
||
|
9436
62bb04ab4b01
rearranged setup of arithmetic procedures, avoiding global reference values;
wenzelm
parents:
9214
diff
changeset
|
4 |
theory IntArith = Bin |
|
62bb04ab4b01
rearranged setup of arithmetic procedures, avoiding global reference values;
wenzelm
parents:
9214
diff
changeset
|
5 |
files ("int_arith1.ML") ("int_arith2.ML"):
|
|
62bb04ab4b01
rearranged setup of arithmetic procedures, avoiding global reference values;
wenzelm
parents:
9214
diff
changeset
|
6 |
|
| 12023 | 7 |
use "int_arith1.ML" |
8 |
setup int_arith_setup |
|
9 |
use "int_arith2.ML" |
|
10 |
declare zabs_split [arith_split] |
|
11 |
||
| 7707 | 12 |
end |