HOLCF/README

diff -r b05cd411d3d3 -r 2ff3a5589b05 src/HOL/HOLCF/FOCUS/README.html --- a/src/HOL/HOLCF/FOCUS/README.html Tue Mar 12 20:03:04 2013 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,22 +0,0 @@ - - - - - - - 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. - -