| Thu, 27 Aug 2009 11:41:07 +0200 | nipkow | code generator: quantifiers over {_.._::int} and {_..<_::nat} | changeset | files |
| Thu, 27 Aug 2009 17:09:37 +0200 | wenzelm | more stats; | changeset | files |
| Thu, 27 Aug 2009 17:00:03 +0200 | wenzelm | tuned tracing; | changeset | files |
| Thu, 27 Aug 2009 11:54:17 +0200 | wenzelm | merged | changeset | files |
| Thu, 27 Aug 2009 11:54:05 +0200 | wenzelm | avoid macbroy21 for now -- hardware problems; | changeset | files |
| Thu, 27 Aug 2009 09:28:52 +0200 | nipkow | tuned code generation for lists | changeset | files |
| Wed, 26 Aug 2009 19:54:19 +0200 | nipkow | merged | changeset | files |
| 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 |