(* Title: ZF/Coind/MT.ML ID: $Id$ Author: Jacob Frost, Cambridge University Computer Laboratory Copyright 1995 University of CambridgeBased upon the article Robin Milner and Mads Tofte, Co-induction in Relational Semantics, Theoretical Computer Science 87 (1991), pages 209-220.Written up as Jacob Frost, A Case Study of Co_induction in Isabelle Report, Computer Lab, University of Cambridge (1995).*)ZF_build_completed; (*Make examples fail if ZF did*)writeln"Root file for ZF/Coind";proof_timing := true;time_use_thy "MT";