+ =====================================================================	+
|									|
| LIBRARY	: option						|
|									|
| DESCRIPTION   : definition of logical types for options.		|
|									|
| AUTHOR	: D.R.Syme						|
| DATE		: 1 November 1995  					|
|									|
| MODIFIED      : R.J.Boulton						|
| DATE		: 28 June 1996						|
+ =====================================================================	+
