Lines Matching refs:assoc
790 '((assoc ",")) '((assoc ";"))
791 '((assoc "^Proof")
793 (assoc "by" "suffices_by"))
794 '((assoc "ENDQ." "QFIER." "in" "of")
795 (assoc "|")
796 (assoc "=>")
797 (assoc "else")
798 (assoc "<=>" "���" "<-")
799 (assoc "==>" "���") (assoc "\\/" "���") (assoc "/\\" "���")
800 (assoc "[defnlabel]")
801 (assoc "=" "<" "���" "<=") (assoc ":=") (assoc "++" "+") (assoc "*")))))