author | wenzelm |
Tue, 16 May 2006 13:01:22 +0200 | |
changeset 19640 | 40ec89317425 |
parent 19023 | 5652a536b7e8 |
child 20505 | 1e223f64bd59 |
permissions | -rw-r--r-- |
19640
40ec89317425
added Ferrante and Rackoff Algorithm -- by Amine Chaieb;
wenzelm
parents:
19023
diff
changeset
|
1 |
|
40ec89317425
added Ferrante and Rackoff Algorithm -- by Amine Chaieb;
wenzelm
parents:
19023
diff
changeset
|
2 |
(* $Id$ *) |
40ec89317425
added Ferrante and Rackoff Algorithm -- by Amine Chaieb;
wenzelm
parents:
19023
diff
changeset
|
3 |
|
15536 | 4 |
theory Real |
19640
40ec89317425
added Ferrante and Rackoff Algorithm -- by Amine Chaieb;
wenzelm
parents:
19023
diff
changeset
|
5 |
imports ContNotDenum Ferrante_Rackoff |
15536 | 6 |
begin |
19640
40ec89317425
added Ferrante and Rackoff Algorithm -- by Amine Chaieb;
wenzelm
parents:
19023
diff
changeset
|
7 |
end |