src/HOL/Library/Stream.thy
2015-10-13 haftmann 2015-10-13 prod_case as canonical name for product type eliminator
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2015-04-11 wenzelm 2015-04-11 tuned;
2014-11-19 traytel 2014-11-19 more accurate lemma name
2014-11-13 hoelzl 2014-11-13 import general theorems from AFP/Markov_Models
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-10-20 haftmann 2014-10-20 augmented and tuned facts on even/odd and division
2014-10-07 hoelzl 2014-10-07 move Stream theory from Datatype_Examples to Library