Tue, 05 Nov 2013 05:48:08 +0100 |
nicer error message in case of duplicates
|
file | diff | annotate |
Mon, 04 Nov 2013 15:44:43 +0100 |
better error handling
|
file | diff | annotate |
Mon, 04 Nov 2013 14:46:38 +0100 |
more robust n2m w.r.t. 'let's
|
file | diff | annotate |
Mon, 04 Nov 2013 11:03:13 +0100 |
made n2m code more robust w.r.t. advanced constructs (e.g. lambdas)
|
file | diff | annotate |
Mon, 04 Nov 2013 10:52:41 +0100 |
handle constructor syntax in n2m primcorec
|
file | diff | annotate |
Mon, 04 Nov 2013 10:52:41 +0100 |
tuning
|
file | diff | annotate |
Mon, 04 Nov 2013 10:52:41 +0100 |
make code more robust w.r.t. applied/unapplied map (primrec vs. primcorec)
|
file | diff | annotate |
Mon, 21 Oct 2013 09:31:19 +0200 |
tuning
|
file | diff | annotate |
Wed, 02 Oct 2013 16:29:40 +0200 |
don't register equations of the form 'f x = ...' as simp rules, even if they are safe (noncorecursive), because they unfold too aggresively concepts users are likely to want to stay folded
|
file | diff | annotate |
Tue, 01 Oct 2013 14:13:24 +0200 |
got rid of dead feature
|
file | diff | annotate |
Tue, 01 Oct 2013 14:05:25 +0200 |
renamed theory file
|
file | diff | annotate |
Sat, 28 Sep 2013 22:47:17 +0200 |
make SML/NJ more happy;
|
file | diff | annotate |
Tue, 24 Sep 2013 00:01:10 +0200 |
register codatatypes with Nitpick
|
file | diff | annotate |
Fri, 20 Sep 2013 11:44:30 +0200 |
have "datatype_new_compat" register induction and recursion theorems in nested case
|
file | diff | annotate |
Tue, 17 Sep 2013 01:09:51 +0200 |
return right theorems
|
file | diff | annotate |
Fri, 13 Sep 2013 02:26:59 +0200 |
don't wrongly destroy sum types in coiterators
|
file | diff | annotate |
Mon, 09 Sep 2013 14:22:11 +0200 |
include map theorems in datastructure for "primcorec"
|
file | diff | annotate |
Mon, 09 Sep 2013 13:47:58 +0200 |
enriched data structure with necessary theorems
|
file | diff | annotate |
Fri, 30 Aug 2013 11:27:23 +0200 |
moved files related to "primrec_new", "primcorec", and "datatype_compat" from bitbucket co-rec repository
|
file | diff | annotate |