| Wed, 02 Apr 2008 15:58:27 +0200 | haftmann | moved some code lemmas for Numerals to other theories | changeset | files |
| Wed, 02 Apr 2008 15:58:26 +0200 | haftmann | moved some code lemmas for Numerals here | changeset | files |
| Wed, 02 Apr 2008 12:32:53 +0200 | chaieb | No longer imports InfiniteSet, ATP_Linkup is sufficient. | changeset | files |
| Mon, 31 Mar 2008 23:29:36 +0200 | gagern | Catching up with smlnj.ML 1.47 (use_file), 1.52 (line numbers), 1.53 | changeset | files |
| Mon, 31 Mar 2008 23:08:55 +0200 | wenzelm | before close: Exn.capture/release; | changeset | files |
| Mon, 31 Mar 2008 23:08:54 +0200 | wenzelm | discontinued unused hooks explode_platform_path_fn, platform_path_fn, shell_path_fn; | changeset | files |
| Mon, 31 Mar 2008 23:08:53 +0200 | wenzelm | added add_substring; | changeset | files |