thys2/SizeBound.thy
2022-01-11 Christian Urban updated
2022-01-07 Christian Urban isarfied some proofs
2021-12-14 Chengsong merged
2021-12-14 Chengsong hi
2021-11-04 Christian Urban small change
2021-11-04 Christian Urban deleted one rewrite rule
2021-11-04 Christian Urban slightly more
2021-11-04 Christian Urban slightly
2021-10-10 Chengsong for new journal/conf paper!
less more (0) tip