+ =====================================================================	+
| READ-ME,v 1.1.1.1 1995/04/06 20:31:27 drs1004 Exp  								|
|									|
| LIBRARY	: richtext     						|
|									|
| DESCRIPTION   : term, theorem, type and goal richtext printing.       |
|		  Based on Richard Boulton's "mlpretty" pretty          |
|		  printer.              				|
|									|
| AUTHOR	: D Syme        					|
+ =====================================================================	+
 
+ --------------------------------------------------------------------- +
|									|
| FILES:								|
|									|
+ --------------------------------------------------------------------- +

+ --------------------------------------------------------------------- +
|									|
| TO REBUILD THE LIBRARY:						|
|									|
+ --------------------------------------------------------------------- +

+ --------------------------------------------------------------------- +
|									|
| TO USE THE LIBRARY:							|
|									|
+ --------------------------------------------------------------------- +




