author | wenzelm |
Tue, 22 Mar 2011 17:51:15 +0100 | |
changeset 42055 | ad87c485ff30 |
parent 33615 | 261abc2e3155 |
permissions | -rw-r--r-- |
(* Title: ZF/Coind/ROOT.ML 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). *) use_thys ["ECR"];