| Tue, 10 Jul 2007 09:23:15 +0200 | haftmann | replaced code generator framework for reflected cooper | changeset | files |
| Tue, 10 Jul 2007 09:23:14 +0200 | haftmann | expanded fragile proof | changeset | files |
| Tue, 10 Jul 2007 09:23:13 +0200 | haftmann | extended - convers now basic lcm properties also | changeset | files |
| Tue, 10 Jul 2007 09:23:12 +0200 | haftmann | constant dvd now in class target | changeset | files |
| Tue, 10 Jul 2007 09:23:11 +0200 | haftmann | moved lemma zdvd_period here | changeset | files |
| Tue, 10 Jul 2007 09:23:10 +0200 | haftmann | introduced (auxiliary) class dvd_mod for more convenient code generation | changeset | files |
| Tue, 10 Jul 2007 00:43:51 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 10 Jul 2007 00:17:52 +0200 | wenzelm | nested source: explicit interactive flag for recover avoids duplicate errors; | changeset | files |