| Tue, 22 Jan 2019 10:50:35 +0000 | paulson | some renamings and a bit of new material | changeset | files |
| Mon, 21 Jan 2019 07:08:55 +0000 | haftmann | slightly more conventional naming schema | changeset | files |
| Mon, 21 Jan 2019 07:08:27 +0000 | haftmann | Local_Theory.reset only required for toplevel interaction, attempt to withhold it from user space | changeset | files |