diff -r 6dae0daf57b7 -r d03bb9f50b3b src/ZF/Coind/ROOT.ML
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/ZF/Coind/ROOT.ML	Tue Feb 28 10:33:52 1995 +0100
@@ -0,0 +1,21 @@
+(*  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;