From 1d691953b355bdb4843c69c9ff0a336df235ba9e Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 5 Jan 2006 21:30:31 +0000
Subject: added \<setminus>;

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

diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el
index eb6facb7..9fe26a94 100644
--- a/isa/x-symbol-isabelle.el
+++ b/isa/x-symbol-isabelle.el
@@ -407,6 +407,7 @@ See `x-symbol-language-access-alist' for details."
     (lessless "\\<lless>")
     (greatergreater "\\<ggreater>")
     (unionplus "\\<uplus>")
+    (backslash3 "\\<setminus>")
     (smile "\\<smile>")
     (reflexsucc "\\<succeq>")
     (dashbar "\\<stileturn>")
-- 
cgit v1.2.3