src/HOL/Library/Linear_Temporal_Logic_on_Streams.thy
21 months ago wenzelm 2018-01-12 prefer formal comments;
21 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
2017-01-17 wenzelm 2017-01-17 isabelle update_cartouches -c -t;
2016-10-20 hoelzl 2016-10-20 HOL-Probability: move stopping time from AFP/Markov_Models
2016-05-23 nipkow 2016-05-23 renamed prefix* in Library/Sublist
2016-02-23 nipkow 2016-02-23 more canonical names
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-09-24 traytel 2015-09-24 tuned proofs (less warnings)
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
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-08 hoelzl 2014-10-08 add Linear Temporal Logic on Streams