changeset 31779 | 68eccca7f51c |
parent 29145 | b1c6f4563df7 |
child 31815 | 52ec1ca1456b |
--- a/etc/symbols Tue Jun 23 20:14:40 2009 +0200 +++ b/etc/symbols Tue Jun 23 21:00:18 2009 +0200 @@ -207,7 +207,7 @@ \<bottom> code: 0x0022a5 font: Isabelle \<top> code: 0x0022a4 font: Isabelle \<and> code: 0x002227 font: Isabelle abbrev: /\ -\<And> code: 0x0022c0 font: Isabelle abbreb: !! +\<And> code: 0x0022c0 font: Isabelle abbrev: !! \<or> code: 0x002228 font: Isabelle abbrev: \/ \<Or> code: 0x0022c1 font: Isabelle abbrev: ?? \<forall> code: 0x002200 font: Isabelle abbrev: !