author | wenzelm |
Mon, 29 Nov 1999 15:52:49 +0100 | |
changeset 8039 | a901bafe4578 |
parent 6349 | f7750d816c21 |
child 9000 | c20d58286a51 |
permissions | -rw-r--r-- |
(* 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). *) writeln"Root file for ZF/Coind"; set proof_timing; time_use_thy "MT";