diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-05-06 18:33:53 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-05-06 18:33:53 +0000 |
| commit | 969d971f2d7339a3a03271eb86e82452599348a0 (patch) | |
| tree | e62886a2ef8327868da32e953fd549c756cee7cb /isa | |
| parent | 8e565189e1f86154e34483c02011a4268a5b1814 (diff) | |
Patch from Brother Makarius
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/x-symbol-isabelle.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el index 1bed377e..f4ee80dd 100644 --- a/isa/x-symbol-isabelle.el +++ b/isa/x-symbol-isabelle.el @@ -243,6 +243,7 @@ See `x-symbol-language-access-alist' for details." (logicalor "\\<or>") (universal1 "\\<forall>") (existential1 "\\<exists>") + (epsilon "\\<some>") (biglogicaland "\\<And>") (ceilingleft "\\<lceil>") (ceilingright "\\<rceil>") |