src/HOLCF/Eventual.thy
2008-07-01 huffman 2008-07-01 theory of eventually-constant sequences