HomeIsabelle/Phabricator

Move ConcreteCategory.thy from Bicategory to Category3 and use it…

Description

Move ConcreteCategory.thy from Bicategory to Category3 and use it systematically. Make other minor improvements throughout.

Details

Provenance
"Eugene W. Stark <stark@cs.stonybrook.edu>"Authored on
Parents
rAFP0a8ecf7a601e: fixed broken proofs
Branches
Unknown
Tags
Unknown