| 2019-01-22 | blanchet | really keep lambdas in translation if only predicates are missing | changeset | files |
| 2019-01-22 | blanchet | tune ATP settings | changeset | files |
| 2018-12-14 | Manuel Eberl | Added triangular numbers | changeset | files |
| 2019-01-22 | wenzelm | keep Local_Theory.reset for now -- still required in many AFP sessions (amending 1c201e4792cb); | changeset | files |
| 2019-01-22 | wenzelm | merged | changeset | files |
| 2019-01-22 | wenzelm | use polyml-test-0a6ebca445fc by default: already quite stable; | changeset | files |
| 2019-01-22 | paulson | renamings and new material | changeset | files |
| 2019-01-22 | paulson | merged | changeset | files |
| 2019-01-22 | paulson | some renamings and a bit of new material | changeset | files |
| 2019-01-21 | haftmann | slightly more conventional naming schema | changeset | files |
| 2019-01-21 | haftmann | Local_Theory.reset only required for toplevel interaction, attempt to withhold it from user space | changeset | files |
| 2019-01-21 | blanchet | updated news | changeset | files |
| Loading... | |||