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