| Wed, 14 Nov 2018 14:17:30 -0500 |
immler |
extract example for ab_group_add_on_with
|
file |
diff |
annotate
|
| Wed, 14 Nov 2018 13:45:09 -0500 |
immler |
generalized local_typedef_ab_group_add
|
file |
diff |
annotate
|
| Wed, 14 Nov 2018 01:31:55 +0000 |
immler |
use locales in Group_On_With
|
file |
diff |
annotate
|
| 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
|