Wed, 03 Aug 2005 14:48:22 +0200 | avigad | changed reference to Lfp.lfp to FixedPint.lfp, ditto for gfp | changeset | files |
Wed, 03 Aug 2005 14:48:13 +0200 | avigad | import FixedPoint instead of Gfp | changeset | files |
Wed, 03 Aug 2005 14:48:07 +0200 | avigad | removed Gfp | changeset | files |