Fri, 07 Jan 2011 12:41:45 -0800 |
Kevin Walker |
add citation to R. Brown and U. Tillman
|
file |
diff |
annotate
|
Fri, 07 Jan 2011 09:08:15 -0800 |
Kevin Walker |
summary of data and properties for n-cats
|
file |
diff |
annotate
|
Thu, 06 Jan 2011 22:56:31 -0800 |
Kevin Walker |
plain n-cat -> ordinary n-cat
|
file |
diff |
annotate
|
Thu, 06 Jan 2011 22:47:06 -0800 |
Kevin Walker |
compatibility of first and last n-cat axioms; mention stricter variant of last axiom
|
file |
diff |
annotate
|
Sun, 14 Nov 2010 15:39:03 -0800 |
Scott Morrison |
futzing with preambles
|
file |
diff |
annotate
|
Fri, 24 Sep 2010 15:32:55 -0700 |
Scott Morrison |
friday afternoon
|
file |
diff |
annotate
|
Thu, 23 Sep 2010 18:10:35 -0700 |
Kevin Walker |
assoc of n+1
|
file |
diff |
annotate
|
Thu, 23 Sep 2010 12:34:16 -0700 |
Kevin Walker |
resolving two more nns
|
file |
diff |
annotate
|
Wed, 22 Sep 2010 20:42:47 -0700 |
Kevin Walker |
making "no functors" excuses; other minor stuff
|
file |
diff |
annotate
|
Tue, 21 Sep 2010 22:39:17 -0700 |
Kevin Walker |
misc
|
file |
diff |
annotate
|
Tue, 21 Sep 2010 17:28:14 -0700 |
Scott Morrison |
remaining changes from tuesday afternoon
|
file |
diff |
annotate
|
Tue, 21 Sep 2010 14:44:17 -0700 |
Scott Morrison |
deleting nn's
|
file |
diff |
annotate
|