changeset 9000 | c20d58286a51 |
parent 6349 | f7750d816c21 |
child 12595 | 0480d02221b8 |
8999:ad8260dc6e4a | 9000:c20d58286a51 |
---|---|
11 Written up as |
11 Written up as |
12 Jacob Frost, A Case Study of Co_induction in Isabelle |
12 Jacob Frost, A Case Study of Co_induction in Isabelle |
13 Report, Computer Lab, University of Cambridge (1995). |
13 Report, Computer Lab, University of Cambridge (1995). |
14 *) |
14 *) |
15 |
15 |
16 writeln"Root file for ZF/Coind"; |
|
17 |
|
18 set proof_timing; |
|
19 time_use_thy "MT"; |
16 time_use_thy "MT"; |