Fri, 06 Sep 2019 11:32:38 +0200 | wenzelm | unused; | changeset | files |
Fri, 06 Sep 2019 11:32:24 +0200 | wenzelm | proper finished_theory status for result; | changeset | files |
Fri, 06 Sep 2019 10:28:29 +0200 | wenzelm | more central checkpoint; | changeset | files |