From 65b170d4c13c9d7dbb18b82b3946ce64dd28bcae Mon Sep 17 00:00:00 2001
From: =?utf8?q?Anders=20M=C3=B6rtberg?= <andersmortberg@gmail.com>
Date: Sat, 23 Jan 2016 12:38:16 -0500
Subject: [PATCH] comment in nthmUniv

---
 examples/nthmUniv.ctt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/examples/nthmUniv.ctt b/examples/nthmUniv.ctt
index 04f29d2..f7320d7 100644
--- a/examples/nthmUniv.ctt
+++ b/examples/nthmUniv.ctt
@@ -1,3 +1,6 @@
+-- This file contains the normal form of thmUniv from
+-- examples/univalence.ctt. It takes about 50 hours to load it, but it
+-- seems to be correct.
 module nthmUniv where
 
 import univalence
-- 
2.34.1