src/HOL/Library/Complete_Partial_Order2.thy
21 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
2017-07-03 Andreas Lochbihler 2017-07-03 qualify Complete_Partial_Order2.compact
2017-04-04 wenzelm 2017-04-04 proper imports; tuned headers;
2016-08-10 wenzelm 2016-08-10 tuned proofs;
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