From cf7b0d7b3a10a65c2d382faad909bfb83b194fc7 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Sat, 18 Aug 2018 14:32:29 +0200
Subject: Output formatting

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

diff --git a/HoTT_Base.thy b/HoTT_Base.thy
index 647593e..1b8c526 100644
--- a/HoTT_Base.thy
+++ b/HoTT_Base.thy
@@ -25,7 +25,7 @@ text "
 "
 
 consts
-  has_type :: "[Term, Term] \<Rightarrow> prop"  ("(1_: _)" [0, 0] 1000)
+  has_type :: "[Term, Term] \<Rightarrow> prop"  ("(3_:/ _)" [0, 0] 1000)
 
 
 section \<open>Universe hierarchy\<close>
-- 
cgit v1.2.3