From 19eb191526ed6071ce4dbd44804122d53eea83c9 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Thu, 20 Sep 2018 14:03:33 +0200
Subject: Rename properties of equality + more properties. Output formatting
 for `

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

(limited to 'Prod.thy')

diff --git a/Prod.thy b/Prod.thy
index 0bbe4ca..a37fdd6 100644
--- a/Prod.thy
+++ b/Prod.thy
@@ -17,7 +17,7 @@ section \<open>Basic definitions\<close>
 axiomatization
   Prod   :: "[t, tf] \<Rightarrow> t" and
   lambda :: "(t \<Rightarrow> t) \<Rightarrow> t"  (binder "\<^bold>\<lambda>" 30) and
-  appl   :: "[t, t] \<Rightarrow> t"  ("(1_`/_)" [105, 106] 105)  \<comment> \<open>Application binds tighter than abstraction.\<close>
+  appl   :: "[t, t] \<Rightarrow> t"  (infixl "`" 105)  \<comment> \<open>Application binds tighter than abstraction.\<close>
 
 syntax
   "_prod" :: "[idt, t, t] \<Rightarrow> t"        ("(3\<Prod>_: _./ _)" 30)
-- 
cgit v1.2.3

