TACL2017

Tadeusz Litak

@TadeuszLitak

00388114 · cleaned up Aux file, added alternative proof of Lemma 1.7, fixed compilation problem · Oct 14, 2015

This is the version supporting drafts and talks ca. 2017,  Coq (probably) 8.6 to 8.8