Mon, 25 Nov 2019 12:19:14 +0100 | wenzelm | tuned -- avoid deprecated constructors; | changeset | files |
Mon, 25 Nov 2019 12:16:26 +0100 | wenzelm | tuned signature; | changeset | files |
Mon, 25 Nov 2019 10:58:15 +0100 | wenzelm | avoid vacuous session Pure -- dump does not read_pure_theory; | changeset | files |