acl2/acl2 — pull request #320 by nadezhin (2014-12-23 15:18:14+00:00)
Title: typo in arithmetic/natp-posp.lisp

Fix typo in comment