HOL-Theorem-Prover/HOL — pull request #199 by coruus (2014-09-24 01:30:18+00:00)
Title: Fixup tools-poly/configure.sml for OSX.

Added -lgmp to tools-poly/configure.sml for OSX. Fixed up comments to refer to
the correct override file for tools-poly/smart-configure.sml