2016-06-02 gmpライブラリ StandardML Isabelleの ./conrib/polyml-5.6-1/x86[_64]-windows/ のlibgmp*.dllは、 GNU Multi-Precision Library(GMP)のライブラリだ。