thys3/src/GeneralRegexBound.thy
changeset 611 bc1df466150a
parent 563 c92a41d9c4da