1+ =====================================================================	+
2|									|
3| LIBRARY	: option						|
4|									|
5| DESCRIPTION   : definition of logical types for options.		|
6|									|
7| AUTHOR	: D.R.Syme						|
8| DATE		: 1 November 1995  					|
9|									|
10| MODIFIED      : R.J.Boulton						|
11| DATE		: 28 June 1996						|
12+ =====================================================================	+
13