function, so obsolete it. svn path=/nixpkgs/branches/stdenv-updates/; revision=31644
svn path=/nixpkgs/trunk/; revision=19594
ACL2 = A Computational Logic for Applicative Common Lisp. It is a Lisp sublanguage and a correctness prover for it. svn path=/nixpkgs/trunk/; revision=16708