Tue, 22 Jan 2019 19:36:17 +0100 | wenzelm | Backed out changeset 1bc422c08209 -- obsolete in AFP/5d11846ac6ab; | changeset | files |
Tue, 22 Jan 2019 17:57:19 +0100 | blanchet | really keep lambdas in translation if only predicates are missing | changeset | files |