Wed, 17 Mar 2010 16:11:48 +0100 | blanchet | minor additions to Nitpick docs | changeset | files |
Wed, 17 Mar 2010 08:11:24 -0700 | huffman | NEWS: Nat_Bijection library | changeset | files |
Wed, 17 Mar 2010 12:21:54 +0100 | blanchet | document "nitpick_choice_spec" attribute | changeset | files |