| Sat, 03 Mar 2012 21:00:04 +0100 | haftmann | explicit locations for import_theory and setup_theory, for better user interface conformance | changeset | files |
| Sat, 03 Mar 2012 22:27:30 +0100 | wenzelm | discontinued obsolete Library.foldl_map and Library.apply (NB: apply = fold I); | changeset | files |
| Sat, 03 Mar 2012 22:17:52 +0100 | wenzelm | tuned; | changeset | files |