On Tue, Apr 28, 2015 at 3:40 PM, Sean Hunt <scsh...@csclub.uwaterloo.ca> wrote:
> Proposal: Official Functions (AI=2)

I guess you can remove the similar text in Rule 208 along with this.

Reply via email to