Sat, 23 Nov 2019 14:48:44 +0100 | wenzelm | clarified signature; | changeset | files |
Sat, 23 Nov 2019 11:45:02 +0100 | wenzelm | tuned proofs; | changeset | files |
Sat, 23 Nov 2019 11:36:42 +0100 | wenzelm | clarified error: tmp file can be invalid in odd situations; | changeset | files |