| Fri, 11 Oct 2019 11:08:32 +0200 | blanchet | document antiquotations + clarify porting text slightly | changeset | files |
| Thu, 10 Oct 2019 16:59:37 +0200 | blanchet | updated veriT part of Sledgehammer documentation | changeset | files |
| Thu, 10 Oct 2019 16:37:52 +0200 | blanchet | added para constrasting 'primrec' and 'fun' -- and removed my middle name | changeset | files |
| 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 |
| Wed, 09 Oct 2019 22:52:34 +0200 | wenzelm | misc tuning and clarification; | changeset | files |