HOLCF/README

# HG changeset patch # User oheimb # Date 1089638123 -7200 # Node ID 450fcf885133642c619b126902512e0ade305d21 # Parent eb2469e495cd601f35f63034e66f216f0e627824 added README diff -r eb2469e495cd -r 450fcf885133 src/HOLCF/FOCUS/README.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/HOLCF/FOCUS/README.html Mon Jul 12 15:15:23 2004 +0200 @@ -0,0 +1,13 @@ +HOLCF/README + +

FOCUS: a theory of stream-processing functions Isabelle/HOLCF

+ +For introductions to FOCUSs, see +

The Design of Distributed Systems - An Introduction to FOCUS +
Specification and Refinement of a Buffer of Length One +
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement +

+For slides on Buffer.thy, see Coinduction beats induction on streams. + + diff -r eb2469e495cd -r 450fcf885133 src/HOLCF/FOCUS/ROOT.ML --- a/src/HOLCF/FOCUS/ROOT.ML Mon Jul 12 15:05:30 2004 +0200 +++ b/src/HOLCF/FOCUS/ROOT.ML Mon Jul 12 15:15:23 2004 +0200 @@ -3,6 +3,7 @@ Author: David von Oheimb, TU Muenchen ROOT file for the FOCUS extension of HOLCF. +See README.html for further information. *) val banner = "HOLCF/FOCUS";