- changed status to resolved
Quantification in definitions
Issue #178
resolved
We zeggen in de manual dat !x y: een "shorthand" is voor !x: !y: maar quantificatie van die laatste vorm is niet toegelaten in definities
Comments (1)
-
- Log in to comment
Moved defmultquant. Fixes
#178→ b5989138f904