| Thu, 30 Aug 2007 05:01:38 +0200 | huffman | ported div/mod simprocs from HOL/ex/Binary.thy | changeset | files |
| Wed, 29 Aug 2007 23:06:27 +0200 | wenzelm | renamed POLYML_LINK_OPTIONS to POLY_LINK_OPTIONS; | changeset | files |
| Wed, 29 Aug 2007 22:47:01 +0200 | wenzelm | added POLYML_LINK_OPTIONS, which is required for unusual platforms (notably cygwin); | changeset | files |
| Wed, 29 Aug 2007 20:18:23 +0200 | wenzelm | some simultaneous use_thys; | changeset | files |