Tue, 16 Feb 2016 17:01:40 +0100 | blanchet | avoid duplicate theorems in 'primrec's result when invoked programmatically | changeset | files |
Mon, 15 Feb 2016 18:27:17 +0100 | blanchet | tuning | changeset | files |
Mon, 15 Feb 2016 13:30:04 +0100 | blanchet | keep 'ctor_iff_dtor' theorem around in BNF FP database | changeset | files |