Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. Merged
  2. Disambiguate sufficiently many facts in locales so as to permit a top-level interpretation of ZFC_set_cat.
  3. Fix a typo.
  4. Neater links
  5. Relational_Disjoint_Set_Forests: variant abstraction
Changeset 13023:2d501ecd4932 by Eugene W. Stark _stark@cs.stonybrook.edu_:
Merged
Changeset 13022:47f6b2669322 by Eugene W. Stark _stark@cs.stonybrook.edu_:
Disambiguate sufficiently many facts in locales so as to permit a top-level interpretation of ZFC_set_cat.
The file was modified thys/Bicategory/Bicategory.thy
The file was modified thys/Bicategory/BicategoryOfSpans.thy
The file was modified thys/Bicategory/Coherence.thy
The file was modified thys/Bicategory/ConcreteBicategory.thy
The file was modified thys/Bicategory/EquivalenceOfBicategories.thy
The file was modified thys/Bicategory/InternalAdjunction.thy
The file was modified thys/Bicategory/InternalEquivalence.thy
The file was modified thys/Bicategory/Modification.thy
The file was modified thys/Bicategory/Prebicategory.thy
The file was modified thys/Bicategory/Pseudofunctor.thy
The file was modified thys/Bicategory/PseudonaturalTransformation.thy
The file was modified thys/Bicategory/SpanBicategory.thy
The file was modified thys/Bicategory/Strictness.thy
The file was modified thys/Bicategory/Subbicategory.thy
The file was modified thys/Bicategory/Tabulation.thy
The file was modified thys/Category3/HFSetCat.thy
The file was modified thys/Category3/Limit.thy
The file was modified thys/Category3/SetCat.thy
The file was modified thys/Category3/SetCategory.thy
The file was modified thys/Category3/Subcategory.thy
The file was modified thys/Category3/ZFC_SetCat.thy
The file was modified thys/MonoidalCategory/FreeMonoidalCategory.thy
Changeset 13021:f13ac4dee478 by Eugene W. Stark _stark@cs.stonybrook.edu_:
Fix a typo.
The file was modified thys/ResiduatedTransitionSystem/ResiduatedTransitionSystem.thy
Changeset 13020:4e198cea6859 by asta halkjær from _andro.from@gmail.com_:
Neater links
The file was modified metadata/entries/Epistemic_Logic.toml
The file was modified metadata/entries/FOL_Seq_Calc1.toml
The file was modified metadata/entries/Public_Announcement_Logic.toml
Changeset 13019:01cb40e28b35 by walter guttmann _walter.guttmann@canterbury.ac.nz_:
Relational_Disjoint_Set_Forests: variant abstraction
The file was modified thys/Relational_Disjoint_Set_Forests/Disjoint_Set_Forests.thy
The file was modified thys/Relational_Disjoint_Set_Forests/More_Disjoint_Set_Forests.thy