src/HOL/String.thy
changeset 66010 2f7d39285a1a
parent 64994 6e4c05e8edbb
child 66190 a41435469559