| Thu, 14 Jul 2005 19:28:40 +0200 | wenzelm | no open Logic; | changeset | files |
| Thu, 14 Jul 2005 19:28:39 +0200 | wenzelm | removed itlist, rev_itlist -- use fold_rev, fold instead; | changeset | files |
| Thu, 14 Jul 2005 19:28:38 +0200 | wenzelm | replaced itlist by fold_rev; | changeset | files |
| Thu, 14 Jul 2005 19:28:37 +0200 | wenzelm | replaced itlist by fold_rev; | changeset | files |