00README.XXX
author Scott Morrison <scott@tqft.net>
Sat, 26 Jun 2010 16:31:28 -0700
changeset 400 a02a6158f3bd
parent 8 15e6335ff1d4
permissions -rw-r--r--
Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     1
nohypertex