src/HOLCF/FOCUS/Stream_adm.thy
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2001-10-03 wenzelm 2001-10-03 tuned parentheses in relational expressions;
2001-05-31 wenzelm 2001-05-31 tuned
2001-05-31 oheimb 2001-05-31 added FOCUS including the One-Element Buffer by Manfred Broy