HoTT/HoTT — pull request #588 by mikeshulman (2014-10-22 06:01:52+00:00)
Title: add more documentation for `simpl rewrite`

As discussed at #553.