Thu, 31 Jan 2019 13:08:59 +0000 | haftmann | proper congruence rule for image operator | file | diff | annotate |
Wed, 16 Jan 2019 18:14:02 -0500 | immler | Reorg, in particular Determinants as well as some linear algebra from Starlike and Change_Of_Vars | file | diff | annotate |
Mon, 14 Jan 2019 18:35:03 +0000 | haftmann | tuned proofs | file | diff | annotate |
Mon, 07 Jan 2019 14:06:54 +0100 | immler | split off Convex.thy: material that does not require Topology_Euclidean_Space | file | diff | annotate |