src/HOL/Library/Complete_Partial_Order2.thy
Tue, 07 Jun 2016 15:12:27 +0200 Andreas Lochbihler add theory of discrete subprobability distributions
Fri, 27 May 2016 20:23:55 +0200 wenzelm tuned proofs, to allow unfold_abs_def;
Fri, 13 May 2016 20:24:10 +0200 wenzelm eliminated use of empty "assms";
Mon, 25 Apr 2016 16:09:26 +0200 wenzelm eliminated old 'def';
Mon, 04 Apr 2016 22:55:50 +0200 wenzelm tuned headers;
Sun, 03 Apr 2016 23:03:30 +0200 wenzelm isabelle update_cartouches -c -t;
Fri, 18 Mar 2016 08:01:49 +0100 Andreas Lochbihler move Complete_Partial_Orders2 from AFP/Coinductive to HOL/Library
less more (0) tip