11553Srgrimessignature BoolExtractShared = 21553Srgrimessig 31553Srgrimes 41553Srgrimesinclude Abbrev 51553Srgrimes 61553Srgrimesval dest_neg_eq : term -> term * term 71553Srgrimesval is_neg_eq : term -> bool 81553Srgrimesval mk_neg___idempot : term -> term 91553Srgrimesval eq_sym_aconv : term -> term -> bool 101553Srgrimes 111553Srgrimes 121553Srgrimesval BOOL_EQ_IMP_CONV : conv; 131553Srgrimesval BOOL_NEG_PAIR_CONV : conv; 141553Srgrimesval BOOL_EXTRACT_SHARED_CONV : conv; 151553Srgrimes 161553Srgrimesval BOOL_EQ_IMP_convdata : simpfrag.convdata 171553Srgrimesval BOOL_EXTRACT_SHARED_convdata : simpfrag.convdata; 181553Srgrimesval BOOL_NEG_PAIR_convdata : simpfrag.convdata; 191553Srgrimes 201553Srgrimes 211553Srgrimesend 221553Srgrimes