src/HOLCF/ex/Fix2.ML
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