Wed, 09 Oct 2019 14:51:54 +0000 | haftmann | dedicated fact collections for algebraic simplification rules potentially splitting goals | changeset | files |
Wed, 09 Oct 2019 23:00:52 +0200 | wenzelm | merged | changeset | files |
Wed, 09 Oct 2019 23:00:12 +0200 | wenzelm | tuned; | changeset | files |