1.1 --- a/etc/symbols Tue Jun 23 20:14:40 2009 +0200
1.2 +++ b/etc/symbols Tue Jun 23 21:00:18 2009 +0200
1.3 @@ -207,7 +207,7 @@
1.4 \<bottom> code: 0x0022a5 font: Isabelle
1.5 \<top> code: 0x0022a4 font: Isabelle
1.6 \<and> code: 0x002227 font: Isabelle abbrev: /\
1.7 -\<And> code: 0x0022c0 font: Isabelle abbreb: !!
1.8 +\<And> code: 0x0022c0 font: Isabelle abbrev: !!
1.9 \<or> code: 0x002228 font: Isabelle abbrev: \/
1.10 \<Or> code: 0x0022c1 font: Isabelle abbrev: ??
1.11 \<forall> code: 0x002200 font: Isabelle abbrev: !