#274 (Jul 4, 2016, 8:44:11 PM)

1. spelling (detail / hgweb)
2. combinator to build partial equivalence relations from a predicate and an equivalenc relation (detail / hgweb)
3. default one-step rules for predicates on relations;
   clarified status of legacy input abbreviations (detail / hgweb)
4. basic facts about almost everywhere fix bijections (detail / hgweb)
5. dedicated locale for total bijections (detail / hgweb)
6. tuned sections (detail / hgweb)
7. relating gbinomial and binomial, still using distinct definitions (detail / hgweb)

Started by an SCM change