| Mon, 10 Oct 2005 14:43:45 +0200 | wenzelm | updated print_tac; | changeset | files |
| Mon, 10 Oct 2005 05:46:17 +0200 | huffman | add names to infix declarations | changeset | files |
| Mon, 10 Oct 2005 05:30:02 +0200 | huffman | new syntax translations for continuous lambda abstraction | changeset | files |
| 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 |