/Cond_rewrite.sig/1.2/Thu Dec 28 15:15:10 2000//
/Cond_rewrite.sml/1.3/Thu Dec 28 15:15:10 2000//
/Res_quan.sig/1.3/Thu Dec 28 15:15:10 2000//
/Res_quan.sml/1.6/Thu Dec 28 15:15:10 2000//
/res_quanLib.sig/1.2/Thu Dec 28 15:15:10 2000//
/res_quanLib.sml/1.1.1.1/Thu Dec 28 15:15:10 2000//
/res_quanScript.sml/1.2/Thu Dec 28 15:15:10 2000//
D
