src/Pure/Pure.thy
changeset 63871 f745c6e683b7
parent 63808 e8462a4349fc
child 64595 511b30aa4100
     1.1 --- a/src/Pure/Pure.thy	Wed Sep 14 14:17:32 2016 +0200
     1.2 +++ b/src/Pure/Pure.thy	Wed Sep 14 14:37:38 2016 +0200
     1.3 @@ -92,6 +92,8 @@
     1.4    and "find_theorems" "find_consts" :: diag
     1.5    and "named_theorems" :: thy_decl
     1.6  abbrevs
     1.7 +  "===>" = "===>"  (*prevent replacement of very long arrows*)
     1.8 +  "--->" = "\<midarrow>\<rightarrow>"
     1.9    "default_sort" = ""
    1.10    "simproc_setup" = ""
    1.11    "hence" = ""