| Thu, 05 Jul 2012 17:18:55 +0200 | wenzelm | explicit is better than implicit; | changeset | files |
| Thu, 05 Jul 2012 16:58:03 +0200 | wenzelm | removed obsolete rev_contrapos (cf. 1d195de59497); | changeset | files |
| Thu, 05 Jul 2012 16:53:29 +0200 | wenzelm | tuned proofs -- eliminated old-fashioned COMP and rev_contrapos; | changeset | files |