src/HOL/Library/Omega_Words_Fun.thy
2015-09-17 wenzelm 2015-09-17 isabelle update_cartouches; tuned proofs; tuned whitespace;
2015-09-15 lammich 2015-09-15 Omega_Words_Fun: Infinite words as functions from nat.