Summary
- AxiomaticCategoryTheory: re-apply changes from 964360bc0db9
- Backed out changeset 964360bc0db9
The file was modified | thys/AxiomaticCategoryTheory/AxiomaticCategoryTheory.thy (diff) |
The file was modified | thys/AxiomaticCategoryTheory/AxiomaticCategoryTheory.thy (diff) |