thys2/Paper/document/root.tex
2022-02-06 Christian Urban more with the paper
2022-02-02 Christian Urban updated some of the text and cardinality proof
2022-01-30 Christian Urban more definitions in the paper
2022-01-30 Christian Urban updated
2022-01-29 Christian Urban updated
2022-01-28 Christian Urban updated
2022-01-27 Christian Urban updated Sizebound4
2022-01-25 Christian Urban added ITP paper
less more (0) tip