/CHANGES/1.1.1.1/Mon Oct 16 13:31:39 1995//THOL97
/READ-ME/1.1.1.1/Mon Oct 16 13:31:39 1995//THOL97
/sources.cm/1.1.4.1/Mon Jul 14 17:28:11 1997//THOL97
/make_pred_set/1.1.1.1.4.2.2.1/Mon Jul 14 17:27:47 1997//THOL97
