src/HOL/Library/Linear_Temporal_Logic_on_Streams.thy
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