| Fri, 22 Jul 2011 11:37:16 +0100 | Christian Urban | completed the eqvt-proofs for functions; they are stored under the name function_name.eqvt and added to the eqvt-list | file | diff | annotate |
| Mon, 18 Jul 2011 10:50:21 +0100 | Christian Urban | moved eqvt for Option.map | file | diff | annotate |
| Wed, 06 Jul 2011 15:59:11 +0200 | Christian Urban | more on the NBE function | file | diff | annotate |
| Tue, 05 Jul 2011 16:22:18 +0200 | Christian Urban | made the tests go through again | file | diff | annotate |
| Mon, 27 Jun 2011 19:13:55 +0100 | Christian Urban | renamed ds to dset (disagreement set) | file | diff | annotate |
| Mon, 27 Jun 2011 12:15:21 +0100 | Christian Urban | added small lemma about disagreement set | file | diff | annotate |
| Sat, 25 Jun 2011 21:28:24 +0100 | Christian Urban | an alternative FCB for Abs_lst1; seems simpler but not as simple as I thought; not sure whether it generalises to multiple binders. | file | diff | annotate |