isabelle: etc/abbrevs@720fa884656e (annotated)

61961 c4cc05200337 more abbrevs; wenzelm parents: diff changeset	1	(* additional abbreviations for syntactic completion *)
c4cc05200337 more abbrevs; wenzelm parents: diff changeset	2
c4cc05200337 more abbrevs; wenzelm parents: diff changeset	3	(prevent replacement of very long arrows)
61968 e13e70f32407 avoid immediate completion as ASCII versions that are still used; wenzelm parents: 61963 diff changeset	4	"--->" = "--->"
e13e70f32407 avoid immediate completion as ASCII versions that are still used; wenzelm parents: 61963 diff changeset	5	"---->" = "---->"
61963 2548e7cc86fb more arrow symbols; wenzelm parents: 61961 diff changeset	6	"----->" = "----->"
61961 c4cc05200337 more abbrevs; wenzelm parents: diff changeset	7	"===>" = "===>"
61970 6226261144d7 more symbols; wenzelm parents: 61968 diff changeset	8
6226261144d7 more symbols; wenzelm parents: 61968 diff changeset	9	(HOL-NSA)
6226261144d7 more symbols; wenzelm parents: 61968 diff changeset	10	"---->" = "\<longlonglongrightarrow>\<^sub>N\<^sub>S"
61971 720fa884656e more symbols; wenzelm parents: 61970 diff changeset	11	"---->" = "\<midarrow>\<rightarrow>\<^sub>N\<^sub>S"