forked from Isabelle_DOF/Isabelle_DOF
Renamed CENELEC style to match ontology definition.
This commit is contained in:
parent
bebf83673a
commit
42af6b6bf9
Reference in New Issue