/*
 *
 * $Id: plus,v 1.1 1995/06/10 14:28:41 armando Exp $
 * 
 * $Log: plus,v $
 * Revision 1.1  1995/06/10 14:28:41  armando
 * Reinserted into the main trunk
 *
 * Revision 1.1  1995/06/09  16:01:15  armando
 * Added to the IFFEXAMPLE branch
 *
 * Revision 1.1.4.5  1995/05/29  17:12:09  armando
 * Comment char changed
 *
 */

plus(x,y)<==>p_ind(x,y,[~,v,s(v)]).
