(* 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";
make_chart (); (*make HTML chart*)