src/HOLCF/ex/Fix2.ML
Sat, 03 Nov 2001 18:41:28 +0100 wenzelm GPLed;
Tue, 09 Jan 2001 15:36:30 +0100 nipkow ` -> $
Thu, 06 Jul 2000 13:35:40 +0200 paulson removal of batch style, and tidying
Tue, 30 Jan 1996 13:42:57 +0100 clasohm expanded tabs
Fri, 06 Oct 1995 17:25:24 +0100 regensbu added 8bit pragmas
less more (0) tip