| Mon, 03 Jan 2022 13:28:31 +0100 | desharna | prefixed all mirabelle_sledgehammer output lines with sledgehammer output | changeset | files |
| Wed, 29 Dec 2021 08:07:51 +0100 | nipkow | added lemma | changeset | files |
| Sun, 26 Dec 2021 11:01:27 +0000 | paulson | Tiny additions inspired by Roth development | changeset | files |
| Tue, 21 Dec 2021 22:11:10 +0100 | wenzelm | allow general command transactions with presentation; | changeset | files |
| Tue, 21 Dec 2021 21:27:26 +0100 | wenzelm | more operations; | changeset | files |
| Tue, 21 Dec 2021 21:07:26 +0100 | wenzelm | clarified signature; | changeset | files |
| Tue, 21 Dec 2021 19:42:20 +0100 | wenzelm | tuned signature; | changeset | files |