+ =====================================================================	+
|									|
| LIBRARY	: unwind						|
|									|
| DESCRIPTION   : derived inference rules for expanding and simplifying	|
| 	          hardware structural specifications.			|
|									|
+ =====================================================================	+

+ --------------------------------------------------------------------- +
|									|
| FILES:								|
|									|
+ --------------------------------------------------------------------- +

   unwinding.ml 	definitions of derived rules

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

   1) edit the pathnames in the Makefile (if necessary)

   2) type "make clean"

   3) type "make all"


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

   Load unwind.ml
