Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix from upstream CLL: make examples consistent
The affected example is introduced as "the prenex version" of the previous example, so it should be in line with the previous example. Proposed in lojban/cll#421
- Loading branch information