Thu, 27 May 2010 17:22:16 +0200 | blanchet | Nitpick: show "..." in datatype values (e.g., [{0::nat, ...}]), since these are really equivalence classes | changeset | files |
Thu, 27 May 2010 16:42:03 +0200 | blanchet | make Nitpick "show_all" option behave less surprisingly | changeset | files |
Fri, 28 May 2010 13:37:47 +0200 | haftmann | merged | changeset | files |