Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. theory Complete_Partial_Order2 is in HOL-Library
Changeset 6586:ffea2c11f257 by lars hupel _lars.hupel@mytum.de_:
theory Complete_Partial_Order2 is in HOL-Library
The file was modified thys/MFMC_Countable/MFMC_Misc.thy (diff)
The file was modified thys/MFMC_Countable/ROOT (diff)