| 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 |