src/HOLCF/Up2.thy
Sat, 03 Nov 2001 01:41:26 +0100 wenzelm GPLed;
Mon, 17 Feb 1997 10:57:11 +0100 slotosch Changes of HOLCF from Oscar Slotosch:
Fri, 29 Nov 1996 12:22:22 +0100 oheimb *** empty log message ***
less more (0) tip