src/HOLCF/FOCUS/Buffer.thy
Sat, 01 Dec 2001 18:52:32 +0100 wenzelm renamed class "term" to "type" (actually "HOL.type");
Thu, 31 May 2001 20:52:51 +0200 wenzelm tuned
Thu, 31 May 2001 16:53:00 +0200 oheimb added FOCUS including the One-Element Buffer by Manfred Broy
less more (0) tip