author | nipkow |
Thu, 21 Dec 2000 18:57:12 +0100 | |
changeset 10722 | 55c8367bab05 |
parent 10574 | 8f98f0301d67 |
child 14269 | 502a7c95de73 |
permissions | -rw-r--r-- |
10722 | 1 |
theory RealArith = RealArith0 |
9436
62bb04ab4b01
rearranged setup of arithmetic procedures, avoiding global reference values;
wenzelm
parents:
diff
changeset
|
2 |
files "real_arith.ML": |
62bb04ab4b01
rearranged setup of arithmetic procedures, avoiding global reference values;
wenzelm
parents:
diff
changeset
|
3 |
|
62bb04ab4b01
rearranged setup of arithmetic procedures, avoiding global reference values;
wenzelm
parents:
diff
changeset
|
4 |
setup real_arith_setup |
62bb04ab4b01
rearranged setup of arithmetic procedures, avoiding global reference values;
wenzelm
parents:
diff
changeset
|
5 |
|
62bb04ab4b01
rearranged setup of arithmetic procedures, avoiding global reference values;
wenzelm
parents:
diff
changeset
|
6 |
end |