[acl2/acl2] f1915e: Remove the TERM-LOGICP term utility.

[GitHub]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: f1915ea0ec0b56bb4dafbbc1bd7d38a6fd06cfa9
https://github.com/acl2/acl2/commit/f1915ea0ec0b56bb4dafbbc1bd7d38a6fd06cfa9
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2016-07-30 (Sat, 30 Jul 2016)

Changed paths:
M books/kestrel/utilities/terms-tests.lisp
M books/kestrel/utilities/terms.lisp

Log Message:
-----------
Remove the TERM-LOGICP term utility.

This turns out to be the same as the built-in LOGIC-FNSP.


Commit: c69b2e3b614b72abfe5c4bb979c73207fd5d56a3
https://github.com/acl2/acl2/commit/c69b2e3b614b72abfe5c4bb979c73207fd5d56a3
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2016-07-30 (Sat, 30 Jul 2016)

Changed paths:
M books/kestrel/utilities/terms-tests.lisp
M books/kestrel/utilities/terms.lisp

Log Message:
-----------
Rename some term utilities.

Use shorter names (e.g. use LAMBDA instead of LAMBDA-EXPR inside some function
names) and use a few names that are more consistent with existing system
utilities.


Compare: https://github.com/acl2/acl2/compare/033c27df5dda...c69b2e3b614b

[GitHub]

Branch: refs/heads/master