Skip to content

Commit 0a94bd2

Browse files
author
Mark Jensen
committed
Patch fix to MRO, incorrect namespace in subproperty axioms
1 parent cb8c4f2 commit 0a94bd2

2 files changed

Lines changed: 69 additions & 69 deletions

File tree

0 commit comments

Comments
 (0)