Tue, 09 Mar 2010 09:25:23 +0100 | blanchet | added "finitize" option to Nitpick + remove dependency on "Coinductive_List" | changeset | files |
Mon, 08 Mar 2010 15:20:40 -0800 | huffman | merged | changeset | files |
Mon, 08 Mar 2010 14:42:40 -0800 | huffman | remove unnecessary error handling code | changeset | files |