acl2/acl2 — pull request #277 by ragerdl (2014-10-08 19:14:30+00:00)
Title: Adding value-triple reference to gc-dollar-sign :doc topic

Adding value-triple reference to gc-dollar-sign :doc topic