Tue, 02 Oct 2012 01:00:18 +0200 | blanchet | removed dead params and dead code | file | diff | annotate |
Tue, 02 Oct 2012 01:00:18 +0200 | blanchet | changed type of corecursor for the nested recursion case | file | diff | annotate |
Mon, 01 Oct 2012 11:04:30 +0200 | blanchet | fixed recursor definition for datatypes with inner products (e.g. "'a trm" from the lambda-term example) | file | diff | annotate |
Mon, 01 Oct 2012 10:46:30 +0200 | blanchet | tweaked corecursor/coiterator tactic | file | diff | annotate |
Mon, 01 Oct 2012 10:34:58 +0200 | blanchet | changed the type of the recursor for nested recursion | file | diff | annotate |
Fri, 28 Sep 2012 09:12:50 +0200 | blanchet | renamed ML file in preparation for next step | file | diff | annotate | base |