Searched defs:correct_concat (Results 1 – 4 of 4) sorted by relevance
380 correct_concat m (a,x) n (b,y) = member a x' ==> member b y' ==> pmember (addNat m n) (concat m a n… function
702 correct_concat m (a,x) n (b,y) = member a x' ==> member b y' ==> pmember (addNat m n) (concat m a n… function
29 edit_text_rep::correct_concat (path p, int done) { in correct_concat() function in edit_text_rep
751 correct_concat m (a,x) n (b,y) = function