src/HOL/Library/Omega_Words_Fun.thy
changeset 67951 655aa11359dc
parent 67443 3abf6a722518
child 68977 c73ca43087c0