| Thu, 01 Mar 2012 19:34:52 +0100 | haftmann | more fundamental pred-to-set conversions, particularly by means of inductive_set; associated consolidation of some theorem names (c.f. NEWS) | changeset | files |
| Thu, 01 Mar 2012 17:13:54 +0000 | paulson | Removal of obsolete ML bindings | changeset | files |
| Thu, 01 Mar 2012 15:48:03 +0100 | wenzelm | more robust locking; | changeset | files |