Fri, 18 Mar 2016 12:54:20 +0100 | Andreas Lochbihler | merged | changeset | files |
Fri, 18 Mar 2016 08:01:49 +0100 | Andreas Lochbihler | move Complete_Partial_Orders2 from AFP/Coinductive to HOL/Library | changeset | files |
Fri, 18 Mar 2016 12:48:00 +0100 | nipkow | superfluous premise (noticed by Julian Nagele) | changeset | files |