Fri, 20 Jun 2008 23:37:24 +0200 | huffman | remove unused constant liftpair | changeset | files |
Fri, 20 Jun 2008 23:01:09 +0200 | huffman | simplify profinite class axioms | changeset | files |
Fri, 20 Jun 2008 22:51:50 +0200 | huffman | clean up and rename some profinite lemmas | changeset | files |