src/HOL/Library/Omega_Words_Fun.thy
2015-11-05 wenzelm 2015-11-05 isabelle update_cartouches -c -t;
2015-10-10 wenzelm 2015-10-10 prefer symbols;
2015-10-06 wenzelm 2015-10-06 fewer aliases for toplevel theorem statements;
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.