Summary
- Merge.
- Update "op" syntax.
The file was modified | thys/Category3/EpiMonoIso.thy (diff) |
Changeset
9345:8c0858e72380
by "eugene w. stark _stark@cs.stonybrook.edu_":
Update "op" syntax. | |
The file was modified | thys/Category3/EpiMonoIso.thy (diff) |