Mon, 02 Jun 1997 12:19:01 +0200 paulson Type inference makes a Const here, perhaps elsewhere?thry.sml
Mon, 02 Jun 1997 12:17:19 +0200 paulson poly_tvars allows recdefs to be made without type constraints
Mon, 02 Jun 1997 12:16:24 +0200 paulson Corrected banner: it is W0, not MiniML
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip