more symbol abbrevs;
authorwenzelm
Wed Apr 06 12:55:53 2011 +0200 (2011-04-06)
changeset 4224415bba1fb39d1
parent 42243 2f998ff67d0f
child 42245 29e3967550d5
more symbol abbrevs;
etc/symbols
     1.1 --- a/etc/symbols	Wed Apr 06 10:59:43 2011 +0200
     1.2 +++ b/etc/symbols	Wed Apr 06 12:55:53 2011 +0200
     1.3 @@ -124,7 +124,7 @@
     1.4  \<theta>                code: 0x0003b8  font: Isabelle
     1.5  \<iota>                 code: 0x0003b9  font: Isabelle
     1.6  \<kappa>                code: 0x0003ba  font: Isabelle
     1.7 -\<lambda>               code: 0x0003bb  font: Isabelle
     1.8 +\<lambda>               code: 0x0003bb  font: Isabelle  abbrev: %
     1.9  \<mu>                   code: 0x0003bc  font: Isabelle
    1.10  \<nu>                   code: 0x0003bd  font: Isabelle
    1.11  \<xi>                   code: 0x0003be  font: Isabelle