Tue, 01 Jan 2008 16:09:26 +0100 | wenzelm | removed separate exists/forall code; | changeset | files |
Tue, 01 Jan 2008 07:28:20 +0100 | urbanc | tuned proofs and comments | changeset | files |
Mon, 31 Dec 2007 19:36:29 +0100 | wenzelm | removed obsolete banner; | changeset | files |