etc/abbrevs

support 'abbrevs' within theory header;
simplified 'keywords': no abbreviations here;

(* additional abbreviations for syntactic completion *)

(*prevent replacement of very long arrows*)
"===>" = "===>"

"--->" = "\<midarrow>\<rightarrow>"