From b65450369f992171f166a53e9cab408819cd987f Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Wed, 4 Jul 2018 10:50:52 +0200
Subject: Trivial changes

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

(limited to 'Prod.thy')

diff --git a/Prod.thy b/Prod.thy
index 18582a8..7155a10 100644
--- a/Prod.thy
+++ b/Prod.thy
@@ -64,7 +64,7 @@ lemmas Prod_form_conds [elim, wellform] = Prod_form_cond1 Prod_form_cond2
 text "Nondependent functions are a special case."
 
 abbreviation Function :: "[Term, Term] \<Rightarrow> Term"  (infixr "\<rightarrow>" 40)
-  where "A \<rightarrow> B \<equiv> \<Prod>_:A. B"  
+  where "A \<rightarrow> B \<equiv> \<Prod>_:A. B"
 
 
 end
\ No newline at end of file
-- 
cgit v1.2.3