| Sun, 16 Oct 2016 09:31:05 +0200 | haftmann | clarified theorem names | changeset | files |
| Sun, 16 Oct 2016 09:31:05 +0200 | haftmann | eliminated irregular aliasses | changeset | files |
| Sun, 16 Oct 2016 09:31:05 +0200 | haftmann | more standardized theorem names for facts involving the div and mod identity | changeset | files |
| Sun, 16 Oct 2016 09:31:04 +0200 | haftmann | transfer rules for divides relation on integer and natural | changeset | files |
| Sun, 16 Oct 2016 09:31:04 +0200 | haftmann | more standardized names | changeset | files |
| Sun, 16 Oct 2016 09:31:03 +0200 | haftmann | added lemma | changeset | files |
| Sun, 16 Oct 2016 09:31:03 +0200 | haftmann | de-orphanized declaration | changeset | files |
| Sat, 15 Oct 2016 23:07:47 +0200 | wenzelm | tuned; | changeset | files |