equal
deleted
inserted
replaced
10 Written up as |
10 Written up as |
11 Jacob Frost, A Case Study of Co_induction in Isabelle/HOL |
11 Jacob Frost, A Case Study of Co_induction in Isabelle/HOL |
12 Report 308, Computer Lab, University of Cambridge (1993). |
12 Report 308, Computer Lab, University of Cambridge (1993). |
13 *) |
13 *) |
14 |
14 |
15 header {* Milner-Tofte: Co-induction in Relational Semantics *} |
15 section {* Milner-Tofte: Co-induction in Relational Semantics *} |
16 |
16 |
17 theory MT |
17 theory MT |
18 imports Main |
18 imports Main |
19 begin |
19 begin |
20 |
20 |