[defdoc-cvs] CVS update: Directory change: DefDoc/specified-types