#22 (Feb 18, 2016, 12:21:20 AM)

1. merged (detail / hgweb)
2. tuned; (detail / hgweb)
3. clarified file names; (detail / hgweb)
4. SML/NJ is no longer supported; (detail / hgweb)
5. dropped various legacy fact bindings and tuned proofs (detail / hgweb)
6. separated potentially conflicting type class instance into separate theory (detail / hgweb)
7. gcd instances for poly (detail / hgweb)
8. more sophisticated GCD syntax (detail / hgweb)
9. cleansed junk-producing interpretations for gcd/lcm on nat altogether (detail / hgweb)
10. dropped various legacy fact bindings (detail / hgweb)
11. generalized some lemmas;
    moved some lemmas in more appropriate places;
    deleted potentially dangerous simp rule (detail / hgweb)
12. more theorems concerning gcd/lcm/Gcd/Lcm (detail / hgweb)
13. further generalization and polishing (detail / hgweb)
14. pulled out legacy aliasses and infamous dvd interpretations into theory appendix (detail / hgweb)
15. prefer abbreviations for compound operators INFIMUM and SUPREMUM (detail / hgweb)
16. consolidated name (detail / hgweb)

Started by an SCM change