Tue, 29 Apr 2014 22:52:15 +0200 | wenzelm | suppress slightly odd completions of "real"; | changeset | files |
Tue, 29 Apr 2014 22:50:55 +0200 | wenzelm | tuned proofs; | changeset | files |
Tue, 29 Apr 2014 21:54:26 +0200 | wenzelm | tuned proofs; | changeset | files |