| 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 |