thys2/SizeBound4.thy
2022-02-07 Christian Urban updated
2022-02-07 Christian Urban more of the paper
2022-02-06 Christian Urban more with the paper
2022-02-04 Christian Urban merged
2022-02-04 Christian Urban updated papers
2022-02-04 Chengsong 5ct
2022-02-02 Christian Urban updated
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-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
2022-01-22 Christian Urban polished
less more (0) tip