comment in nthmUniv

diff --git a/examples/nthmUniv.ctt b/examples/nthmUniv.ctt
index 04f29d2508bba08a6ca0765e7e00e1fd22f46779..f7320d791f5920d8c383d74615dece23f1d4a579 100644 (file)
--- 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