Wed, 05 May 2010 00:59:59 +0200 | krauss | repaired comments where SOMEthing went utterly wrong (cf. 2b04504fcb69) | changeset | files |
Tue, 04 May 2010 13:11:15 -0700 | huffman | merged | changeset | files |
Tue, 04 May 2010 13:08:56 -0700 | huffman | generalize types of LIMSEQ and LIM; generalize many lemmas | changeset | files |