From a1afde729f1d9b2f930696b117cfaec827eaa178 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Wed, 12 Sep 2018 06:33:55 +0200
Subject: Some final touchups before release 0.1 for the MS thesis

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

(limited to 'Sum.thy')

diff --git a/Sum.thy b/Sum.thy
index 6de20fd..aac81f7 100644
--- a/Sum.thy
+++ b/Sum.thy
@@ -47,7 +47,7 @@ and
     a: A;
     b: B a;
     \<And>x y. \<lbrakk>x: A; y: B(x)\<rbrakk> \<Longrightarrow> f x y: C <x,y>;
-    B: A \<longrightarrow> U(i);
+    B: A \<longrightarrow> U i;
     C: \<Sum>x:A. B x \<longrightarrow> U i
     \<rbrakk> \<Longrightarrow> ind\<^sub>\<Sum> f <a,b> \<equiv> f a b"
 
-- 
cgit v1.2.3

