Mon, 08 Sep 2014 14:03:01 +0200 | blanchet | properly note theorems for split recursors | changeset | files |
Mon, 08 Sep 2014 14:03:01 +0200 | blanchet | tuning | changeset | files |
Mon, 08 Sep 2014 14:03:01 +0200 | blanchet | updated docs | changeset | files |
Mon, 08 Sep 2014 14:03:01 +0200 | blanchet | extended 'datatype_compat' to generate the expected, old-style recursor in the presence of recursion through functions | changeset | files |
Mon, 08 Sep 2014 14:03:01 +0200 | blanchet | tuning | changeset | files |
Mon, 08 Sep 2014 14:03:01 +0200 | blanchet | export one more ML function | changeset | files |
Mon, 08 Sep 2014 14:03:01 +0200 | blanchet | tuning | changeset | files |
Mon, 08 Sep 2014 14:03:01 +0200 | blanchet | more compatibility documentation | changeset | files |