Ticket #1832 (closed merge: fixed)
universal quantification not dealt with earlier
|Reported by:||guest||Owned by:||igloo|
|Type of failure:||Difficulty:||Unknown|
|Test Case:||Blocked By:|
The User’s Guide says in 220.127.116.11.: “Notice the way that the syntax fits smoothly with that used for universal quantification earlier.” However, universal quantification is not talked about earlier but later in the manual.