2011-07-05 | Christian Urban | made the tests go through again | file | diff | annotate |
2011-06-27 | Christian Urban | renamed ds to dset (disagreement set) | file | diff | annotate |
2011-06-27 | Christian Urban | added small lemma about disagreement set | file | diff | annotate |
2011-06-25 | 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 |