Tue, 19 Sep 2006 15:21:52 +0200 | haftmann | added some stuff for code generation 2 | file | diff | annotate |
Fri, 23 Sep 2005 16:05:42 +0200 | nipkow | rules -> iprover | file | diff | annotate |
Thu, 25 Aug 2005 16:13:09 +0200 | berghofe | Adapted to new code generator syntax. | file | diff | annotate |
Sat, 06 Aug 2005 18:06:56 +0200 | berghofe | Tuned comment. | file | diff | annotate |
Fri, 05 Aug 2005 19:57:57 +0200 | berghofe | New case study: pigeonhole principle. | file | diff | annotate |