src/HOL/Library/Complete_Partial_Order2.thy
2016-06-22 wenzelm 2016-06-22 bundle lifting_syntax;
2016-06-07 Andreas Lochbihler 2016-06-07 add theory of discrete subprobability distributions
2016-05-27 wenzelm 2016-05-27 tuned proofs, to allow unfold_abs_def;
2016-05-13 wenzelm 2016-05-13 eliminated use of empty "assms";
2016-04-25 wenzelm 2016-04-25 eliminated old 'def'; tuned comments;
2016-04-04 wenzelm 2016-04-04 tuned headers;
2016-04-03 wenzelm 2016-04-03 isabelle update_cartouches -c -t;
2016-03-18 Andreas Lochbihler 2016-03-18 move Complete_Partial_Orders2 from AFP/Coinductive to HOL/Library