[To Parent Directory] 4/12/2003 7:27 AM 19042 config.h 4/12/2003 7:27 AM 51960 sicstus.h 4/12/2003 7:27 AM 21249 spaux.c 4/12/2003 7:27 AM 83805 spaux.h 4/12/2003 7:27 AM 0 spmsc.h