| Wed, 03 Oct 2012 22:07:26 +0200 | blanchet | thread the right local theory through + reenable parallel proofs for previously problematic theories | file | diff | annotate |
| Tue, 02 Oct 2012 01:00:18 +0200 | blanchet | continued changing type of corec type | file | diff | annotate |
| 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 |