Mon, 10 Oct 2005 04:03:09 +0200 | huffman | cleaned up | changeset | files |
Mon, 10 Oct 2005 04:00:40 +0200 | huffman | added theorem typedef_chfin | changeset | files |
Mon, 10 Oct 2005 03:55:39 +0200 | huffman | replaced foldr' with foldr1 | changeset | files |