BFO-2020
BFO-2020 copied to clipboard
BUG: typo "argumentwhen" in several axioms.
See commit 62640d3 The bug is in the macro that generates the dissective axioms. Occurs in 4 axioms across CL, repeated in P9, PDFs. Fixed in source - will close when files here are updated next.