Sat, 29 Sep 2018 16:30:44 -0400 | immler | fix (non-existent) document generation | file | diff | annotate |
Mon, 24 Sep 2018 14:30:09 +0200 | nipkow | Prefix form of infix with * on either side no longer needs special treatment | file | diff | annotate |
Fri, 13 Jul 2018 12:14:26 +0200 | immler | relaxed assumptions for dim_image_eq and dim_image_le | file | diff | annotate |
Thu, 28 Jun 2018 13:49:02 +0200 | immler | transfer more lemmas | file | diff | annotate |
Thu, 28 Jun 2018 13:18:02 +0200 | immler | fixed some oversights | file | diff | annotate |
Thu, 28 Jun 2018 10:13:54 +0200 | immler | avoid duplicate facts, the "trick" was copied without deeper motivation | file | diff | annotate |
Wed, 27 Jun 2018 11:16:43 +0200 | immler | example for Types_To_Sets: transfer from type-based linear algebra to subspaces | file | diff | annotate |