Home
last modified time | relevance | path

Searched refs:bd_kludge_insert (Results 1 – 5 of 5) sorted by relevance

/dports/misc/otter/otter-3.3f/source/
H A Dshare.c492 void bd_kludge_insert(struct term *t) in bd_kludge_insert() function
H A Dproto.h196 void bd_kludge_insert(struct term *t);
H A DTAGS1125 void bd_kludge_insert(496,10792
H A Dclause.c140 bd_kludge_insert(r1->argval); in cl_integrate()
/dports/misc/otter/otter-3.3f/mace2/
H A DTAGS1368 void bd_kludge_insert(492,10734