tuned abbrevs;
authorwenzelm
Fri Jun 26 20:54:15 2009 +0200 (2009-06-26)
changeset 3181552ec1ca1456b
parent 31814 7c122634da81
child 31816 ffaf6dd53045
tuned abbrevs;
etc/symbols
     1.1 --- a/etc/symbols	Fri Jun 26 19:44:39 2009 +0200
     1.2 +++ b/etc/symbols	Fri Jun 26 20:54:15 2009 +0200
     1.3 @@ -211,8 +211,8 @@
     1.4  \<or>                   code: 0x002228  font: Isabelle  abbrev: \/
     1.5  \<Or>                   code: 0x0022c1  font: Isabelle  abbrev: ??
     1.6  \<forall>               code: 0x002200  font: Isabelle  abbrev: !
     1.7 -\<exists>               code: 0x002203  font: Isabelle  abbrev: ?.
     1.8 -\<nexists>              code: 0x002204  font: Isabelle  abbrev: ?~
     1.9 +\<exists>               code: 0x002203  font: Isabelle  abbrev: ?
    1.10 +\<nexists>              code: 0x002204  font: Isabelle  abbrev: ~?
    1.11  \<not>                  code: 0x0000ac  font: Isabelle  abbrev: ~
    1.12  \<box>                  code: 0x0025a1  font: Isabelle
    1.13  \<diamond>              code: 0x0025c7  font: Isabelle