| Fri, 12 Apr 2019 22:09:25 +0200 | wenzelm | modernized tags: default scope excludes proof; | file | diff | annotate |
| Tue, 02 Apr 2019 14:51:27 +0200 | wenzelm | eliminated hard TABs; | file | diff | annotate |
| Tue, 26 Mar 2019 17:01:36 +0000 | paulson | generalised homotopic_with to topologies; homotopic_with_canon is the old version | file | diff | annotate |
| Tue, 19 Mar 2019 16:14:51 +0000 | paulson | new material about topology, etc.; also fixes for yesterday's | file | diff | annotate |
| Mon, 18 Mar 2019 15:35:34 +0000 | paulson | new material;' strengthened material; moved proofs out of Function_Topology in order to lessen its dependencies | file | diff | annotate |
| Thu, 31 Jan 2019 13:08:59 +0000 | haftmann | proper congruence rule for image operator | file | diff | annotate |
| Tue, 22 Jan 2019 12:00:16 +0000 | paulson | renamings and new material | file | diff | annotate |
| Mon, 07 Jan 2019 14:57:45 +0100 | immler | split off Homotopy.thy | file | diff | annotate |