Real.maxFinite and friends

Henry Cejtin henry@sourcelight.com
Fri, 5 Oct 2001 12:11:45 -0500


What is `real7.sml'?