Fri, 06 Aug 2004 17:19:50 +0200 | chaieb | proof_of_evalc corrected; | changeset | files |
Fri, 06 Aug 2004 17:07:04 +0200 | nipkow | Initial changes to extend arithmetic from individual types to type classes. | changeset | files |
Fri, 06 Aug 2004 16:55:14 +0200 | nipkow | undid UN/INT syntax | changeset | files |