K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2000-10-20T22:45:01.000000Z
K 7
svn:log
V 87
Propogate the 'const'ness of mutex descriptions to the witness code to
quiet warnings.

END