| Tue, 07 Nov 2017 15:16:42 +0100 | blanchet | more robust parsing for THF proofs (esp. polymorphic Leo-III proofs) | changeset | files |
| Tue, 07 Nov 2017 15:16:41 +0100 | blanchet | integrated Leo-III in Sledgehammer (thanks to Alexander Steen for the patch) | changeset | files |
| Tue, 07 Nov 2017 15:16:40 +0100 | blanchet | added FIXMEs | changeset | files |
| Tue, 07 Nov 2017 14:52:27 +0100 | nipkow | Replaced { } proofs by local lemmas; added Hoare logic with logical variables. | changeset | files |
| Tue, 07 Nov 2017 11:11:37 +0100 | wenzelm | backed out odd "bug fix" 671decd2e627; | changeset | files |
| Tue, 07 Nov 2017 10:22:10 +0100 | wenzelm | more recent polyml-test version; | changeset | files |
| Mon, 06 Nov 2017 17:21:32 +0100 | wenzelm | minimal document model for theory files; | changeset | files |