IMPLEMENTATION MODULE GemarPlugParms;

(****************************************************************************
 *
 * Typen f�r PlugIn-Parameter f�r GEMAR.
 *
 * $Source$
 *
 * $Revision$
 *
 * $Author$
 *
 * $Date$
 *
 * $State$
 *
 *****************************************************************************
 * History:
 *
 * $Log$
 *
 *
 ****************************************************************************)

END GemarPlugParms.
		
	
