Skip to content
Success

Changes

Summary

  1. AxiomaticCategoryTheory: re-apply changes from 964360bc0db9
  2. Backed out changeset 964360bc0db9
Changeset 9357:0ee27b8df340 by lars hupel _lars.hupel@mytum.de_:
AxiomaticCategoryTheory: re-apply changes from 964360bc0db9
The file was modified thys/AxiomaticCategoryTheory/AxiomaticCategoryTheory.thy (diff)
Changeset 9356:95f40a1d9ca2 by lars hupel _lars.hupel@mytum.de_:
Backed out changeset 964360bc0db9
The file was modified thys/AxiomaticCategoryTheory/AxiomaticCategoryTheory.thy (diff)