The, subject matter of the claim was retrenchment compen sation payable to workmen of the establishment under section 25FF of the , Section 25F of the In dustrial Disputes Act, 1947, provides : "No workman employed in any industry who has been in continuous service for not less than one year under an employer shall be retrenched by that employer until (a) the workman has been given one month 's notice in writing indicating the reasons for retrenchment and the period of notice has expired, or the workman has been paid in lieu of such notice, wages for the period of the notice: Provided that no such notice shall be neces sary if the retrenchment is under an agreement which specifies a date for the termination of service; (b) the workman has been paid, at the time of retrenchment, compensation which shall be equivalent to fifteen days ' average pay for every completed year of service or any part thereof in excess of six months; and (c) notice in the prescribed manner is served on the appropriate Government.