+ =====================================================================	+
|									|
| LIBRARY	: automate						|
|									|
| DESCRIPTION   : Gathers together libraries for automatic proof.	|
|									|
| AUTHOR	: R.J.Boulton						|
| DATE		: 6 August 1996						|
|									|
| MODIFIED      : R.J.Boulton						|
| DATE		: 6 August 1996						|
+ =====================================================================	+
