| Tue, 11 Oct 2005 13:28:05 +0200 | wenzelm | ML_SUFFIX in targets (experimental); | changeset | files |
| Tue, 11 Oct 2005 13:28:04 +0200 | wenzelm | cleanup backup images; | changeset | files |
| Mon, 10 Oct 2005 15:35:29 +0200 | paulson | small tidy-up of utility functions | changeset | files |
| 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 |