Fri, 03 Jul 2009 08:51:34 +0200 | haftmann | restored subscripts | changeset | files |
Fri, 03 Jul 2009 08:44:13 +0200 | haftmann | lemma foldl_apply_inv | changeset | files |
Sat, 04 Jul 2009 11:46:51 +0200 | wenzelm | is_open: surrogate sequence is High..Low; | changeset | files |