Page history
30 July 2009
→Analyzing contingent truths: blank background hatching + center figures
+1,087
→Logic as sign transformation: convert graphics + center figures
-855
→Themes and variations: del background hatching
29 July 2009
→C<sub>2</sub>. Generation theorem: del figure hatching
→Case analysis-synthesis theorem: del figure hatching
→Case analysis-synthesis theorem: center figures
+310
→Themes and variations: center displays
+1,041
→C<sub>2</sub>. Generation theorem: center displays
+373
→Categories of structured individuals: center figures
+540
→Exemplary proofs: reorg
-6
→Exemplary proofs: convert graphics + add Peirce's Law
-3,982
→Themes and variations: ← split off new section
+27
convert graphics + other revisions
-6,063
reorganize sections
+87
→Double negation theorem: ← split off new section
+29
→Categories of structured individuals: convert graphics
-8,038
28 July 2009
→Categories of structured individuals: convert graphics
-3,355
→Categories of structured individuals: convert graphics
-2,426
→Categories of structured individuals: convert graphics
-1,848
→Categories of structured individuals: expand a bit
+169
→Categories of structured individuals: inline graphics
+36
→Categories of structured individuals: convert graphics
-3,140
→Introduction: add figure
+169
→Introduction: convert graphics
-1,599
→Introduction: fix format for variables
-17
→Introduction: convert graphics
-1,345
→Introduction: convert graphics
-1,615
→Introduction: convert graphics
-722
→Introduction: fix typo
-6
→Introduction: convert graphics
-384
→Introduction: clarify some more
+39
→Introduction: clarify marking of root nodes
-591
→Introduction: convert graphics
-290
27 July 2009
20 October 2008
4 June 2007
22 May 2007
add tags
+173
copy text from [http://www.opencycle.net/ OpenCycle] of which Jon Awbrey is the sole author
+269,960
