| Sun, 15 Nov 2009 00:34:21 +0100 | wenzelm | simplified bulky metis proofs; | changeset | files |
| Sun, 15 Nov 2009 00:23:26 +0100 | wenzelm | properly inlined @{lemma} antiqutations -- might also reduce proof terms a bit; | changeset | files |
| Sat, 14 Nov 2009 19:56:18 +0100 | wenzelm | moved old SList, LList, LFilter to AFP/Lazy-Lists-II; | changeset | files |