Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. move Complete_Partial_Orders2 from AFP/Coinductive to HOL/Library
  3. superfluous premise (noticed by Julian Nagele)
Changeset 62653:d3a5b127eb81 by Andreas Lochbihler:
merged
Changeset 62652:7248d106c607 by Andreas Lochbihler:
move Complete_Partial_Orders2 from AFP/Coinductive to HOL/Library
The file was addedsrc/HOL/Library/Complete_Partial_Order2.thy
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Library.thy (diff)
Changeset 62651:66568c9b8216 by nipkow:
superfluous premise (noticed by Julian Nagele)
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/ZF/LProd.thy (diff)