| Thu, 27 Aug 2009 18:45:39 +0200 | nipkow | New example: IMP | changeset | files |
| Thu, 27 Aug 2009 13:09:25 +0200 | nipkow | merged | changeset | files |
| 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 |
| Wed, 26 Aug 2009 17:38:18 +0100 | chaieb | merged | changeset | files |
| Wed, 26 Aug 2009 17:38:02 +0100 | chaieb | merged | changeset | files |
| Wed, 26 Aug 2009 17:34:32 +0100 | chaieb | removed unused theorem finite_Atleast_Atmost | changeset | files |
| Tue, 19 May 2009 14:13:37 +0100 | chaieb | merged | changeset | files |
| Tue, 19 May 2009 14:13:23 +0100 | chaieb | Derivative of general reverses | changeset | files |
| Wed, 26 Aug 2009 16:41:37 +0200 | nipkow | merged | changeset | files |