/PFset_conv.sig/1.1.1.1/Thu Dec 28 15:14:29 2000//
/PFset_conv.sml/1.5/Thu Dec 28 15:14:29 2000//
/PGspec.sig/1.1.1.1/Thu Dec 28 15:14:29 2000//
/PGspec.sml/1.4/Thu Dec 28 15:14:29 2000//
/PSet_ind.sig/1.1.1.1/Thu Dec 28 15:14:29 2000//
/PSet_ind.sml/1.4/Thu Dec 28 15:14:29 2000//
/pred_setLib.sig/1.2/Thu Dec 28 15:14:29 2000//
/pred_setLib.sml/1.2/Thu Dec 28 15:14:29 2000//
/pred_setSimps.sig/1.1/Thu Dec 28 15:14:29 2000//
/pred_setSimps.sml/1.3/Thu Jun 14 11:43:11 2001//
/pred_setScript.sml/1.15/Tue Jun 19 00:02:38 2001//
D
