Library snapshot. Methods written, everything nicely organized.

1 files changed, 1 insertions, 0 deletions

diff --git a/Equal.thy b/Equal.thy
index 7732dd0..18a4207 100644
--- a/Equal.thy
+++ b/Equal.thy
@@ -9,6 +9,7 @@ theory Equal
   imports HoTT_Base
 begin
 
+
 axiomatization
   Equal :: "[Term, Term, Term] \<Rightarrow> Term" and
   refl :: "Term \<Rightarrow> Term"  ("(refl'(_'))" 1000) and