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 |
Fri, 20 Jun 2008 22:41:41 +0200 | isatest | move at-sml-dev-e to macbroy23 | changeset | files |