| Fri, 27 Jun 2014 10:11:44 +0200 | blanchet | repaired BNF 'size' generation tactic for datatypes mixng old- and new-style datatypes on the right-hand side | changeset | files |
| Fri, 27 Jun 2014 00:21:11 +0100 | paulson | tiny refinements | changeset | files |
| Thu, 26 Jun 2014 22:50:02 +0200 | wenzelm | suppress documentation "how_to_prove_it" for now, notably for release; | changeset | files |