;------------------------------------------------------------------------------
;  This file is part of the 'RTX-51 tiny' Real-Time Operating System Package
;  Copyright KEIL ELEKTRONIK GmbH 1991
;------------------------------------------------------------------------------
		name	COPYRIGHT_KEIL_ELEKTRONIK_1991
		END