(*  Title: 	ZF/Coind/MT.ML

     ID:         $Id$

     Author: 	Jacob Frost, Cambridge University Computer Laboratory

     Copyright   1995  University of Cambridge

 Based 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;

 loadpath     := [".","Coind"];

 time_use_thy "MT" handle _ => exit 1;