This directory contains SOFT (Second-Order Functions and Theorems), a tool to
mimic second-order functions and theorems in the first-order logic of ACL2.

SOFT is documented in the manual at:
https://acl2.org/doc/?topic=SOFT____SOFT
