2007-08-30 | huffman | ported div/mod simprocs from HOL/ex/Binary.thy | changeset | files |
2007-08-29 | wenzelm | renamed POLYML_LINK_OPTIONS to POLY_LINK_OPTIONS; | changeset | files |
2007-08-29 | wenzelm | added POLYML_LINK_OPTIONS, which is required for unusual platforms (notably cygwin); | changeset | files |
Loading... |