Sun, 12 Nov 2017 13:22:00 +0100 | wenzelm | tuned signature; | changeset | files |
Sun, 12 Nov 2017 13:19:00 +0100 | wenzelm | PIDE resources for theory files; | changeset | files |
Sun, 12 Nov 2017 12:55:10 +0100 | wenzelm | tuned; | changeset | files |
Sun, 12 Nov 2017 12:41:05 +0100 | wenzelm | tuned signature; | changeset | files |
Sat, 11 Nov 2017 18:41:08 +0000 | haftmann | dedicated definition for coprimality | changeset | files |
Sat, 11 Nov 2017 18:33:35 +0000 | haftmann | more induct rules on nat | changeset | files |