| Mon, 23 Nov 2009 13:23:39 +0100 | blanchet | improved annotated type of equality in Nitpick's monotonicity check, based on a discovery by Alex | changeset | files |
| Mon, 23 Nov 2009 13:22:40 +0100 | blanchet | fixed error in Nitpick's "star_linear_preds" optimization, which resulted in an ill-typed term; | changeset | files |
| Sun, 22 Nov 2009 22:10:31 +0100 | wenzelm | merged | changeset | files |
| Sun, 22 Nov 2009 17:02:46 +0100 | haftmann | more uniform view on various number theory refinement steps | changeset | files |
| Sun, 22 Nov 2009 15:42:48 +0100 | ballarin | Merged. | changeset | files |
| Sun, 22 Nov 2009 15:37:49 +0100 | ballarin | Generated latex code. | changeset | files |
| Sun, 22 Nov 2009 15:37:14 +0100 | ballarin | Updated locale documentation. | changeset | files |