1 files changed, 1 insertions, 0 deletions
diff --git a/Prod.thy b/Prod.thy
index 544a719..bf4e4e9 100644
--- a/Prod.thy
+++ b/Prod.thy
@@ -9,6 +9,7 @@ theory Prod
   imports HoTT_Base
 begin
 
+
 axiomatization
   Prod :: "[Term, Typefam] \<Rightarrow> Term" and
   lambda :: "[Term, Term \<Rightarrow> Term] \<Rightarrow> Term" and