XSB/packages/altCDF/doc/Figures
