1 files changed, 1 insertions, 1 deletions
diff --git a/HoTT.thy b/HoTT.thy
index 948dd14..fa50f61 100644
--- a/HoTT.thy
+++ b/HoTT.thy
@@ -21,4 +21,4 @@ EqualProps
 Proj
 
 begin
-end
+end
+\ No newline at end of file