| Wed, 02 Aug 2000 11:30:38 +0200 | nipkow | *** empty log message *** | changeset | files |
| Tue, 01 Aug 2000 18:26:34 +0200 | paulson | used natify with div and mod; also put in the divide-by-zero trick | changeset | files |
| Tue, 01 Aug 2000 15:28:21 +0200 | paulson | natify, a coercion to reduce the number of type constraints in arithmetic | changeset | files |