Fri, 15 Jun 2018 12:18:06 +0100 | paulson | more on infinite products. Also subgroup_imp_subset -> subgroup.subset | changeset | files |
Fri, 15 Jun 2018 13:02:12 +0200 | nipkow | empty -> Map.empty | changeset | files |
Fri, 15 Jun 2018 10:45:12 +0200 | nipkow | Map.empty now qualified to avoid name clashes | changeset | files |