Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. Merged
  2. Further disambiguation of facts to address clashes involving ConcreteCategory as a sublocale.
Changeset 13028:3abe8bbe58c0 by Eugene W. Stark _stark@cs.stonybrook.edu_:
Merged
Changeset 13027:5996c6c489c3 by Eugene W. Stark _stark@cs.stonybrook.edu_:
Further disambiguation of facts to address clashes involving ConcreteCategory as a sublocale.
The file was modified thys/Bicategory/BicategoryOfSpans.thy
The file was modified thys/Bicategory/Strictness.thy
The file was modified thys/Category3/CartesianCategory.thy
The file was modified thys/Category3/ConcreteCategory.thy
The file was modified thys/Category3/FreeCategory.thy
The file was modified thys/Category3/FunctorCategory.thy
The file was modified thys/Category3/SetCat.thy