Remove some code duplication in TRANSLATE-PREDICATE
treec8398ee2cdedb1d2f4a5d153a3950ac19a5b974d
-rw-r--r-- 411 .gitignore
-rw-r--r-- 8151 AUTHORS
-rw-r--r-- 19123 COPYING
-rw-r--r-- 7551 ChangeLog
-rw-r--r-- 11564 INSTALL
-rw-r--r-- 319 INSTALL.git
-rw-r--r-- 3663 INSTALL.lisp
-rw-r--r-- 10955 INSTALL.win32
-rw-r--r-- 5633 INSTALL.win32nogcl
drwxr-xr-x - LICENSES
-rwxr-xr-x 5481 Makefile.am
-rw-r--r-- 6270 NEWS
-rw-r--r-- 988 README
-rw-r--r-- 7046 README-lisps.md
-rw-r--r-- 12754 README.developers-howto
-rw-r--r-- 884 README.external
-rw-r--r-- 907 README.i18n
-rw-r--r-- 1340 README.rpms
drwxr-xr-x - admin
drwxr-xr-x - archive
-rwxr-xr-x 64 bootstrap
drwxr-xr-x - changelogs
-rw-r--r-- 1605 common-html.mk
-rw-r--r-- 1585 common-info.mk
-rw-r--r-- 1818 common.mk
-rwxr-xr-x 46585 configure.ac
-rw-r--r-- 5832 configure.lisp
drwxr-xr-x - crosscompile-windows
drwxr-xr-x - demo
drwxr-xr-x - desktopintegration
drwxr-xr-x - doc
drwxr-xr-x - interfaces
drwxr-xr-x - lisp-utils
drwxr-xr-x - locale
drwxr-xr-x - macosx
-rwxr-xr-x 1208 maxima-local.in
-rw-r--r-- 22151 maxima.iss.in
-rw-r--r-- 10052 maxima.spec.in
drwxr-xr-x - plotting
drwxr-xr-x - share
drwxr-xr-x - snap
drwxr-xr-x - src
drwxr-xr-x - tests
-rwxr-xr-x 294 xmaxima-local.in