| Tue, 29 Jul 2008 17:50:12 +0200 | ballarin | Definitions and some lemmas for reflexive orderings. | changeset | files |
| Tue, 29 Jul 2008 17:49:26 +0200 | ballarin | Lemmas added | changeset | files |
| Tue, 29 Jul 2008 16:19:49 +0200 | ballarin | New theory on divisibility. | changeset | files |
| Tue, 29 Jul 2008 16:19:19 +0200 | ballarin | Renamed theorems; | changeset | files |
| Tue, 29 Jul 2008 16:17:45 +0200 | ballarin | New theorems on summation. | changeset | files |
| Tue, 29 Jul 2008 16:17:13 +0200 | ballarin | Unit_inv_l, Unit_inv_r made [simp]. | changeset | files |
| Tue, 29 Jul 2008 16:16:10 +0200 | ballarin | New theory on divisibility; | changeset | files |
| Tue, 29 Jul 2008 16:14:56 +0200 | ballarin | Unit_inv_l, Unit_inv_r made [simp]; | changeset | files |