From 969d971f2d7339a3a03271eb86e82452599348a0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 6 May 2004 18:33:53 +0000
Subject: Patch from Brother Makarius

---
 isa/x-symbol-isabelle.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'isa')

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>")
-- 
cgit v1.2.3