author | huffman |
Thu, 26 May 2005 02:23:27 +0200 | |
changeset 16081 | 81a4b4a245b0 |
parent 12595 | 0480d02221b8 |
child 24584 | 01e83ffa6c54 |
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). *) time_use_thy "ECR";