Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

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