D/help////
/hol88Lib.sig/1.2/Thu Dec 28 15:12:03 2000//
/hol88Lib.sml/1.4/Thu Dec 28 15:12:03 2000//
