# HG changeset patch
# User HackBot
# Date 1492308350 0
# Node ID 984ed31f89fb127739db769d77fc137be74cd661
# Parent  da8e4731abdf9850e12291cefe2742cecfbc1869
<oerjan> le/rn cofridge logic//Cofridge logic is the new HoTT stuff.

diff -r da8e4731abdf -r 984ed31f89fb wisdom/cofridge logic
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/cofridge logic	Sun Apr 16 02:05:50 2017 +0000
@@ -0,0 +1,1 @@
+Cofridge logic is the new HoTT stuff.