#198 (May 24, 2016, 6:24:22 PM)

1. Deleted problematic code equation in Codegenerator_Test (detail / hgweb)
2. Merge (detail / hgweb)
3. New theory for Homeomorphisms (detail / hgweb)
4. Merge (detail / hgweb)
5. renamings and new material (detail / hgweb)
6. new theorem (detail / hgweb)
7. deleted stray thm command (detail / hgweb)
8. deleted needless comment (detail / hgweb)
9. Resolved cyclic dependency of theories (detail / hgweb)
10. Merged (detail / hgweb)
11. Added set permutations/random permutations (detail / hgweb)

Started by an SCM change