thys2/GeneralRegexBound.thy
changeset 453 d68b9db4c9ec
parent 451 7a016eeb118d