changeset 58889 | 5b7a9633cfa8 |
parent 51305 | 4a96f9e28e6d |
child 60774 | 6c28d8ed2488 |
--- a/src/HOL/ex/MT.thy Sun Nov 02 18:21:14 2014 +0100 +++ b/src/HOL/ex/MT.thy Sun Nov 02 18:21:45 2014 +0100 @@ -12,7 +12,7 @@ Report 308, Computer Lab, University of Cambridge (1993). *) -header {* Milner-Tofte: Co-induction in Relational Semantics *} +section {* Milner-Tofte: Co-induction in Relational Semantics *} theory MT imports Main