Tue, 28 Aug 2007 16:33:52 +0200 | nipkow | Commented out non-standard paragraph formatting. | changeset | files |
Tue, 28 Aug 2007 15:34:15 +0200 | nipkow | added (code) lemmas for setsum and foldl | changeset | files |
Tue, 28 Aug 2007 11:51:27 +0200 | wenzelm | replaced 'sorry' by unproven; | changeset | files |