thys2/GeneralRegexBound.thy
2022-03-15 Chengsong finiteness
2022-03-09 Chengsong restructured sizebound proof
less more (0) tip