| Sun, 08 Oct 2017 22:28:20 +0200 | haftmann | avoid fact name clashes | changeset | files |
| Sun, 08 Oct 2017 22:28:19 +0200 | haftmann | spelling and tuned whitespace | changeset | files |
| Sun, 08 Oct 2017 22:28:19 +0200 | haftmann | tuned | changeset | files |
| Sun, 08 Oct 2017 22:28:19 +0200 | haftmann | fundamental property of division by units | changeset | files |
| Sun, 08 Oct 2017 22:28:19 +0200 | haftmann | removed mere toy example from library | changeset | files |
| Sun, 08 Oct 2017 22:28:19 +0200 | haftmann | tuned proofs | changeset | files |
| Sun, 08 Oct 2017 22:28:19 +0200 | haftmann | dropped dead code | changeset | files |
| Mon, 09 Oct 2017 16:14:18 +0100 | paulson | Fixed the theorem name "closed_imp_fip_compact" | changeset | files |
| Mon, 09 Oct 2017 15:34:23 +0100 | paulson | new material about connectedness, etc. | changeset | files |
| Sun, 08 Oct 2017 16:50:37 +0200 | wenzelm | more on Docker; | changeset | files |
| Sun, 08 Oct 2017 15:54:55 +0200 | wenzelm | removed obsolete RC tags; | changeset | files |
| Sun, 08 Oct 2017 14:52:06 +0200 | wenzelm | build_docker is regular tool (non-admin); | changeset | files |