Tue, 09 Jun 2009 16:13:18 -0700 | huffman | remove uses of vec1 in continuity lemmas | changeset | files |
Thu, 11 Jun 2009 23:24:28 +0200 | nipkow | two finiteness lemmas by Robert Himmelmann | changeset | files |
Thu, 11 Jun 2009 14:25:58 +0200 | wenzelm | merged, reverting workarounds on both sides; | changeset | files |