Tue, 09 Mar 2010 14:18:06 +0100 | wenzelm | renamed mk_const_def to legacy_const_def, because of slightly odd Sign.intern_term; | changeset | files |
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 |