Wed, 26 Aug 2009 19:54:01 +0200 | nipkow | got rid of complicated class finite_intvl_succ and defined "upto" directly on int, the only instance of the class. | changeset | files |
Wed, 26 Aug 2009 17:38:18 +0100 | chaieb | merged | changeset | files |
Wed, 26 Aug 2009 17:38:02 +0100 | chaieb | merged | changeset | files |