thys2/SizeBound.thy
2022-01-11 Christian Urban updated
2022-01-07 Christian Urban isarfied some proofs
2021-12-14 Chengsong merged
less more (0) -3 tip