2011-01-18 | Christian Urban | the function translating lambda terms to locally nameless lambda terms; still needs a stronger abs_eq_iff lemma...at the moment only proved for restrictions | file | diff | annotate |
2011-01-18 | Christian Urban | modified the renaming_perm lemmas | file | diff | annotate |
2011-01-17 | Christian Urban | moved high level code from LamTest into the main libraries. | file | diff | annotate |
2011-01-14 | Christian Urban | strengthened renaming lemmas | file | diff | annotate |
2011-01-10 | Christian Urban | a few lemmas about freshness for at and at_base | file | diff | annotate |
2011-01-06 | Christian Urban | some further lemmas for fsets | file | diff | annotate |
2011-01-03 | Christian Urban | simple cases for string rule inductions | file | diff | annotate |