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

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

(limited to 'Unit.thy')

diff --git a/Unit.thy b/Unit.thy
index 9b86739..6760f27 100644
--- a/Unit.thy
+++ b/Unit.thy
@@ -16,7 +16,7 @@ axiomatization
   pt :: Term    ("\<star>") and
   indUnit :: "[Term, Term] \<Rightarrow> Term"  ("(1ind\<^sub>\<one>)")
 where
-  Unit_form: "\<one>: U(O)"
+  Unit_form: "\<one>: U O"
 and
   Unit_intro: "\<star>: \<one>"
 and
-- 
cgit v1.2.3

