| Mon, 10 Oct 2005 04:38:26 +0200 | huffman | removed Istrictify; simplified some proofs | changeset | files |
| Mon, 10 Oct 2005 04:12:31 +0200 | huffman | added notion of compactness; shortened proof of adm_disj; reorganized and cleaned up | changeset | files |
| Mon, 10 Oct 2005 04:03:09 +0200 | huffman | cleaned up | changeset | files |