1 files changed, 1 insertions, 1 deletions

diff --git a/Prod.thy b/Prod.thy
index 7facc27..5f0d272 100644
--- a/Prod.thy
+++ b/Prod.thy
@@ -64,7 +64,7 @@ lemmas Prod_form_conds [elim] = 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