| author | Walther Neuper <neuper@ist.tugraz.at> |
| Wed, 25 Aug 2010 16:49:56 +0200 | |
| branch | isac-update-Isa09-2 |
| changeset 37948 | ed85f172569c |
| parent 37947 | 22235e4dbe5f |
| child 37949 | aaf528d3ebd5 |
| permissions | -rw-r--r-- |
| neuper@37944 | 1 |
(* Title: tools for arithmetic |
| neuper@37944 | 2 |
Author: Walther Neuper 010308 |
| neuper@37944 | 3 |
(c) due to copyright terms |
| neuper@37906 | 4 |
|
| neuper@37948 | 5 |
12345678901234567890123456789012345678901234567890123456789012345678901234567890 |
| neuper@37948 | 6 |
10 20 30 40 50 60 70 80 |
| neuper@37906 | 7 |
*) |
| neuper@37906 | 8 |
|
| neuper@37944 | 9 |
theory Atools imports Descript Typefix begin |
| neuper@37948 | 10 |
(* |
| neuper@37948 | 11 |
*) |
| neuper@37948 | 12 |
(*theory Atools imports "Knowledge/Descript" "Knowledge/Typefix" begin*) |
| neuper@37948 | 13 |
(*theory Atools imports "../Knowledge/Descript" "../Knowledge/Typefix" begin*) |
| neuper@37906 | 14 |
|
| neuper@37906 | 15 |
consts |
| neuper@37906 | 16 |
|
| neuper@37946 | 17 |
Arbfix :: "real" |
| neuper@37946 | 18 |
|
| neuper@37946 | 19 |
ML {*
|
| neuper@37948 | 20 |
111; |
| neuper@37946 | 21 |
*} |
| neuper@37906 | 22 |
|
| neuper@37906 | 23 |
end |