HOL-Theorem-Prover/HOL — pull request #207 by ptroja (2014-10-15 12:02:34+00:00)
Title: HO_MATCH_MP_TAC documentation (and other minor fixes)

Documentation `HO_MATCH_MP_TAC` probably still needs to be reviewed by HOL expert. Once approved, #204 can be closed.