| Fri, 23 Mar 2018 22:31:50 +0100 | wenzelm | removed somewhat pointless argument; | changeset | files |
| Fri, 23 Mar 2018 22:26:50 +0100 | wenzelm | support for purge_theories; | changeset | files |
| Fri, 23 Mar 2018 21:56:22 +0100 | wenzelm | clarified signature; | changeset | files |