# HG changeset patch
# User HackBot
# Date 1373081999 0
# Node ID ebb10a2f0393efd1acaeed65cdc7f6d4dbb03566
# Parent  6ed10ada94d487a67bf63f0a81c6cd7111ab57ca
<oerjan> echo \'A partial order is just a thin skeletal category.\' >wisdom/\'partial order\'

diff -r 6ed10ada94d4 -r ebb10a2f0393 wisdom/partial order
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/partial order	Sat Jul 06 03:39:59 2013 +0000
@@ -0,0 +1,1 @@
+A partial order is just a thin skeletal category.