Lines Matching refs:function
158 (* Fold1 computes the fold of a function on a list *)
161 (* For each such function its respectfulness theorem is proven. *)
165 (* The membership function to test if an element is a member of a list *)
220 (* Definition of Card function to measure the size of a finite set. *)
301 (* Definition of function to delete an element from a finite set; *)
443 (* Definition of Fold1 function to fold a function over a finite set. *)
456 (* Respectfulness theorem for the Fold1 function. *)
471 (* Definition of list2set function to convert a list to a set. *)
474 (* Respectfulness theorem for the list2set function. *)