| Mon, 21 Jul 2008 15:26:23 +0200 | haftmann | (adjusted) | changeset | files |
| Mon, 21 Jul 2008 13:37:14 +0200 | chaieb | Tuned and corrected ideal_tac for algebra. | changeset | files |
| Mon, 21 Jul 2008 13:37:10 +0200 | chaieb | Theorems divides_le, ind_euclid, bezout_lemma, bezout_add, bezout, bezout_add_strong, gcd_unique,gcd_eq, bezout_gcd, bezout_gcd_strong, gcd_mult_distrib, gcd_bezout to GCD.thy | changeset | files |