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