Mon, 22 Sep 2014 16:15:29 +0200 | wenzelm | clarified SOS tool setup vs. examples; | changeset | files |
Mon, 22 Sep 2014 15:01:27 +0200 | desharna | make 'set_induct0' tactic more robust w.r.t multiple arguments constructors | changeset | files |
Mon, 22 Sep 2014 10:55:51 +0200 | wenzelm | merged | changeset | files |