From panj@iris  Wed Oct 18 17:50:44 1989
Received: by iris (5.57/3.14)
        id AA22307; Wed, 18 Oct 89 16:04:46 PDT
Received: from iris.ucdavis.edu by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA28406; Wed, 18 Oct 89 16:07:47 PDT
Received: by iris (5.57/3.14)
        id AA22290; Wed, 18 Oct 89 16:04:36 PDT
Date: Wed, 18 Oct 89 16:04:36 PDT
From: panj@iris (Jing Pan)
Message-Id: <8910182304.AA22290@iris>
To: info-hol@clover

I am looking into a floating point co-processor for verification. I
wonder whether anyone out there has done any thing with it. In
dealing with floating point numbers, I found out I need to set up a
new data type for rational numbers (since real numbers are impossible
to work with) and prove their properties. Is there any one has done
any thing with rational numbers? I don't want to waste my time doing
it only to find out some one has already done it.

Thanks for your time.

Jing Pan
(Comp. Sci. Div., UCD)

