| 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 |
| Tue, 28 Aug 2007 11:25:32 +0200 | wenzelm | do not touch quick_and_dirty; | changeset | files |