Tue, 11 Sep 2012 17:06:27 +0200 | blanchet | generate all sel theorems | changeset | files |
Tue, 11 Sep 2012 16:08:55 +0200 | blanchet | allow default values for selectors in low-level "wrap_data" command | changeset | files |
Tue, 11 Sep 2012 16:08:27 +0200 | blanchet | removed needless "infer_types" call | changeset | files |
Tue, 11 Sep 2012 14:51:52 +0200 | blanchet | added no_dests option | changeset | files |
Tue, 11 Sep 2012 13:10:34 +0200 | blanchet | tuning | changeset | files |
Tue, 11 Sep 2012 13:06:14 +0200 | blanchet | finished splitting sum types for corecursors | changeset | files |
Tue, 11 Sep 2012 13:06:14 +0200 | blanchet | split sum types in corecursor definition | changeset | files |