From adfb8f33e223049e7e9fa5a279cc4d641fb2466f Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Sat, 30 Jun 2018 17:29:00 +0200
Subject: Fix precedence of =

---
 Equal.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Equal.thy')

diff --git a/Equal.thy b/Equal.thy
index 6c18084..f0ced68 100644
--- a/Equal.thy
+++ b/Equal.thy
@@ -18,7 +18,7 @@ axiomatization
 section \<open>Syntax\<close>
 
 syntax
-  "_EQUAL" :: "[Term, Term, Term] \<Rightarrow> Term"        ("(3_ =\<^sub>_/ _)" [101, 101] 100)
+  "_EQUAL" :: "[Term, Term, Term] \<Rightarrow> Term"        ("(3_ =\<^sub>_/ _)" [101, 0, 101] 100)
   "_EQUAL_ASCII" :: "[Term, Term, Term] \<Rightarrow> Term"  ("(3_ =[_]/ _)" [101, 0, 101] 100)
 translations
   "a =[A] b" \<rightleftharpoons> "CONST Equal A a b"
-- 
cgit v1.2.3

