# HG changeset patch
# User wenzelm
# Date 1302087353 -7200
# Node ID 15bba1fb39d12ecf10cc7b16c72175631099de88
# Parent  2f998ff67d0fc3fca09626d43b4bdd9e2079e7fa
more symbol abbrevs;

diff -r 2f998ff67d0f -r 15bba1fb39d1 etc/symbols
--- a/etc/symbols	Wed Apr 06 10:59:43 2011 +0200
+++ b/etc/symbols	Wed Apr 06 12:55:53 2011 +0200
@@ -124,7 +124,7 @@
 \<theta>                code: 0x0003b8  font: Isabelle
 \<iota>                 code: 0x0003b9  font: Isabelle
 \<kappa>                code: 0x0003ba  font: Isabelle
-\<lambda>               code: 0x0003bb  font: Isabelle
+\<lambda>               code: 0x0003bb  font: Isabelle  abbrev: %
 \<mu>                   code: 0x0003bc  font: Isabelle
 \<nu>                   code: 0x0003bd  font: Isabelle
 \<xi>                   code: 0x0003be  font: Isabelle