Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Browse files
Browse the repository at this point in the history
* Fixes #2481 Added a new term with logical and textual defs and references * Update cl-edit.owl * updated textual defs * Update cl-edit.owl * Update cl-edit.owl * Update cl-edit.owl * Revert "Update cl-edit.owl" This reverts commit a5b9ff2. * Revert "updated textual defs" This reverts commit a063064. * updated textual defs --------- Co-authored-by: David Osumi-Sutherland <[email protected]>
- Loading branch information