:: deftheorem defines GRZ-ops GRZLOG_1:def 5 :
GRZ-ops = {'not','&','='};