2021-10-09 | Christian Urban | updated | file | diff | annotate |
2020-10-24 | Christian Urban | updated | file | diff | annotate |
2019-09-18 | Christian Urban | updated | file | diff | annotate |
2019-09-17 | Christian Urban | a bit more cleaning up | file | diff | annotate |
2019-09-14 | Christian Urban | added "big" lemma | file | diff | annotate |
2019-09-12 | Chengsong | proof attempt | file | diff | annotate |
2019-09-09 | Christian Urban | made lemma about AALTs_subs stronger w.r.t. flts | file | diff | annotate |