/* UTILOPS : Operator declarations for UTIL and other Mecho programs

                                                UTILITY
                                                Lawrence
                                                Updated: 11 September 81
*/

  :- op(1100,xfy,(\\)).                 % see INVOCA.PL
  :- op(950,xfy,#).                     % Used for disjunction
  :- op(850,xfy,&).                     % Used for conjunction
  :- op(710,fy,[not,thnot]).            % see INVOCA.PL
  :- op(700,xfx,\=).                    % see IMISCE.PL

                                % Conveniences
  :- op(300,fx,tlim).                   % see TRACE.PL
  :- op(300,fx,ton).
  :- op(300,fx,toff).