Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)
Summary
- Tweaks, mostly in search of speedup.
The file was modified | thys/Bicategory/Bicategory.thy |
The file was modified | thys/Bicategory/BicategoryOfSpans.thy |
The file was modified | thys/Bicategory/CanonicalIsos.thy |
The file was modified | thys/Bicategory/Coherence.thy |
The file was modified | thys/Bicategory/InternalAdjunction.thy |
The file was modified | thys/Bicategory/InternalEquivalence.thy |
The file was modified | thys/Bicategory/Prebicategory.thy |
The file was modified | thys/Bicategory/Pseudofunctor.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/Category.thy |
The file was modified | thys/Category3/Limit.thy |