| Wed, 02 Nov 2005 14:46:49 +0100 | wenzelm | Sign.const_monomorphic; | changeset | files |
| Wed, 02 Nov 2005 14:46:47 +0100 | wenzelm | Logic.nth_prem; | changeset | files |
| Wed, 02 Nov 2005 11:02:29 +0100 | urbanc | added the collection of lemmas "supp_at" | changeset | files |
| Tue, 01 Nov 2005 23:55:53 +0100 | urbanc | some minor tweaks in some proofs (nothing extraordinary) | changeset | files |
| Tue, 01 Nov 2005 23:54:29 +0100 | urbanc | tunings of some comments (nothing serious) | changeset | files |
| Mon, 31 Oct 2005 16:35:15 +0100 | haftmann | nth_*, fold_index refined | changeset | files |
| Mon, 31 Oct 2005 16:00:15 +0100 | haftmann | fold_index replacing foldln | changeset | files |