Commit Graph

2 Commits

Author SHA1 Message Date
Fergus Henderson
dde20d3352 We now transform A \= B' into not (A = B)', so implicit
quantification now works properly for '\='.
1994-05-16 07:33:57 +00:00
Fergus Henderson
3ecccd2fc8 Added a note describing the rules for implicit quantification in Mercury. 1994-03-17 15:42:01 +00:00