| Mon, 03 Jul 2017 12:19:49 +0200 | Andreas Lochbihler | qualify Complete_Partial_Order2.compact | file | diff | annotate |
| Tue, 04 Apr 2017 11:52:28 +0200 | wenzelm | proper imports; | file | diff | annotate |
| Wed, 10 Aug 2016 14:50:59 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Wed, 22 Jun 2016 10:09:20 +0200 | wenzelm | bundle lifting_syntax; | file | diff | annotate |
| Tue, 07 Jun 2016 15:12:27 +0200 | Andreas Lochbihler | add theory of discrete subprobability distributions | file | diff | annotate |
| Fri, 27 May 2016 20:23:55 +0200 | wenzelm | tuned proofs, to allow unfold_abs_def; | file | diff | annotate |
| Fri, 13 May 2016 20:24:10 +0200 | wenzelm | eliminated use of empty "assms"; | file | diff | annotate |
| Mon, 25 Apr 2016 16:09:26 +0200 | wenzelm | eliminated old 'def'; | file | diff | annotate |
| Mon, 04 Apr 2016 22:55:50 +0200 | wenzelm | tuned headers; | file | diff | annotate |
| Sun, 03 Apr 2016 23:03:30 +0200 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Fri, 18 Mar 2016 08:01:49 +0100 | Andreas Lochbihler | move Complete_Partial_Orders2 from AFP/Coinductive to HOL/Library | file | diff | annotate |