src/HOL/Library/Stream.thy
12 months ago nipkow 2018-06-07 utilize 'flip'
13 months ago haftmann 2018-05-24 avoid overaggressive classical rule
16 months ago wenzelm 2018-02-15 more symbols;
17 months ago wenzelm 2018-01-12 prefer formal comments;
17 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
19 months ago wenzelm 2017-11-26 more symbols;
2017-04-04 wenzelm 2017-04-04 proper imports; tuned headers;
2016-10-20 hoelzl 2016-10-20 HOL-Probability: move stopping time from AFP/Markov_Models
2016-10-16 haftmann 2016-10-16 more standardized theorem names for facts involving the div and mod identity
2016-08-10 wenzelm 2016-08-10 tuned proofs;
2016-05-31 traytel 2016-05-31 moved lemma from afp
2016-01-07 wenzelm 2016-01-07 more uniform treatment of package internals;
2015-11-15 wenzelm 2015-11-15 option "inductive_defs" controls exposure of def and mono facts;
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