Lines Matching refs:operator
19 (* Conversions for the summation operator and strong equivalence *)
119 (* Conversions for the restriction operator and strong equivalence *)
123 (* Conversion for the application of the laws for the restriction operator. *)
168 (* Conversions for the relabelling operator and strong equivalence *)
172 (* Conversion for the application of the laws for the relabelling operator. *)
204 (* Conversions for the parallel operator and strong equivalence *)
236 parallel operator. *)
306 (* Conversion for the application of the law for the parallel operator in the
358 (* Conversion for the application of the laws for the parallel operator in the
382 (* Conversion for the application of the laws for the parallel operator. *)
412 (* Conversions for the recursion operator and strong equivalence *)
416 (* Conversion for applying the unfolding law for the recursion operator. *)