src/HOLCF/ex/Fix2.thy
Fri, 31 Jan 1997 16:56:32 +0100 oheimb added Classlib.* and Witness.*,
Tue, 06 Feb 1996 12:42:31 +0100 clasohm expanded tabs
Fri, 06 Oct 1995 17:25:24 +0100 regensbu added 8bit pragmas
less more (0) tip