2017-10-08 haftmann Polynomial_Factorial does not depend on Field_as_Ring as such
2017-10-08 haftmann avoid name clashes on interpretation of abstract locales
2017-10-08 haftmann avoid trivial definition
2017-10-08 haftmann canonical introduction and destruction rules for pairwise
2017-10-08 haftmann avoid fact name clashes
2017-10-08 haftmann spelling and tuned whitespace
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 tip