Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

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

Summary

  1. A few more disambiguations, related to locales in CartesianCategory.
Changeset 13029:b9df51ee10b8 by Eugene W. Stark _stark@cs.stonybrook.edu_:
A few more disambiguations, related to locales in CartesianCategory.
The file was modified thys/Category3/CartesianCategory.thy