2017-10-08 | haftmann | Polynomial_Factorial does not depend on Field_as_Ring as such | changeset | files |
2017-10-08 | haftmann | avoid name clashes on interpretation of abstract locales | changeset | files |
2017-10-08 | haftmann | avoid trivial definition | changeset | files |
2017-10-08 | haftmann | canonical introduction and destruction rules for pairwise | changeset | files |
2017-10-08 | haftmann | avoid fact name clashes | changeset | files |
2017-10-08 | haftmann | spelling and tuned whitespace | changeset | files |
Loading... |