Wed, 18 Dec 2019 15:10:50 +0100 | wenzelm | more repository information; | changeset | files |
Wed, 18 Dec 2019 15:10:13 +0100 | wenzelm | more permissive string fields; | changeset | files |
Wed, 18 Dec 2019 10:39:38 +0100 | nipkow | tuned proof (by Thomas Sewell) | changeset | files |