From murthy@cs.cornell.edu Mon Dec 17 22:33:54 1990
Received: from elberton.inmos.co.uk by frogland.inmos.co.uk; Mon, 17 Dec 90 22:33:54 GMT
Received: from titan.inmos.co.uk by elberton.inmos.co.uk; Mon, 17 Dec 90 22:33:52 GMT
Received: from inmos-c.inmos.com by titan.inmos.co.uk with DNI-MTP [1.1]
        id inmos-c-14343; Mon, 17 Dec 90 22:33:56 GMT
Received: from iris.eecs.ucdavis.edu by uunet.uu.net (5.61/1.14) with SMTP
        id AB06960; Mon, 17 Dec 90 15:22:06 -0500
Received: by iris.eecs.ucdavis.edu (5.57/UCD.EECS.3.0)
        id AA10113; Mon, 17 Dec 90 12:17:12 -0800
Received: from CU-ARPA.CS.CORNELL.EDU by clover.eecs.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA02603; Mon, 17 Dec 90 12:19:06 PST
Received: from LOKI.CS.CORNELL.EDU by cu-arpa.cs.cornell.edu (5.61+2/1.91d)
        id AA26160; Mon, 17 Dec 90 15:16:43 -0500
Received: from ALGRON.CS.CORNELL.EDU by loki.cs.cornell.edu (5.61/I-1.91f)
        id AA03802; Mon, 17 Dec 90 15:16:37 -0500
From: murthy@cs.cornell.edu (Chet Murthy)
Message-Id: <9012172016.AA00833@algron.cs.cornell.edu>
Received: by algron.cs.cornell.edu (5.65/N-0.11)
        id AA00833; Mon, 17 Dec 90 15:16:35 -0500
To: info-hol@clover.ucdavis.edu
Subject: Cambridge ML -> SML translator
Date: Mon, 17 Dec 90 15:16:35 -0500


Anybody out there written one of these?

Thanks,
--chet--
