| Wed, 08 Aug 2012 12:51:20 +0200 | wenzelm | proper axiomatization of "mem" -- do not leave it formally unspecified; | changeset | files |
| Wed, 08 Aug 2012 12:38:41 +0200 | wenzelm | simplified Pure bootstrap -- separate pure_setup.ML was required for Alice/ML at some point; | changeset | files |
| Wed, 08 Aug 2012 12:33:40 +0200 | wenzelm | more casual exit back to ML toplevel, to accomodate commit in SML/NJ which continues at the saved point; | changeset | files |