changeset 9000 | c20d58286a51 |
parent 6349 | f7750d816c21 |
child 12593 | cd35fe5947d4 |
8999:ad8260dc6e4a | 9000:c20d58286a51 |
---|---|
10 |
10 |
11 Gérard Huet. Residual Theory in Lambda-Calculus: A Formal Development. |
11 Gérard Huet. Residual Theory in Lambda-Calculus: A Formal Development. |
12 J. Functional Programming 4(3) 1994, 371-394. |
12 J. Functional Programming 4(3) 1994, 371-394. |
13 *) |
13 *) |
14 |
14 |
15 writeln"Root file for ZF/Resid"; |
|
16 |
|
17 set proof_timing; |
|
18 time_use_thy "Conversion"; |
15 time_use_thy "Conversion"; |
19 |
|
20 writeln"END: Root file for ZF/Resid"; |