Closed dcerys closed 3 years ago
Added :propositions to defclass (Closes #197), and a new top-level defproposition command (Closes #198).
Added :propositions to defclass (Closes #197), and a new top-level defproposition command (Closes #198).