src/HOL/Library/Omega_Words_Fun.thy
21 months ago wenzelm 2018-01-16 standardized towards new-style formal comments: isabelle update_comments;
2016-12-17 haftmann 2016-12-17 reoriented congruence rules in non-explosive direction
2016-05-23 wenzelm 2016-05-23 tuned proofs;
2016-04-25 wenzelm 2016-04-25 eliminated old 'def'; tuned comments;
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.