Hierarchical libraries document updated

Ross Paterson ross@soi.city.ac.uk
Fri, 16 May 2003 12:09:07 +0100


What's the Module field in the module header comment for?