OSDN Git Service

(subst, case PLUS): Simplify (plus (comp A B) -1), etc.
drwxr-xr-x - gcc