Page history
11 August 2009
redo figure hatching
→Analysis of contingent propositions: neutral figure background
+69
→Analysis of contingent propositions: center figures
+1,318
→Logic as sign transformation
+81
→Case analysis-synthesis theorem
-86
→Logic as sign transformation
-167
10 August 2009
→Case analysis-synthesis theorem: blank figure hatching
→Case analysis-synthesis theorem: center figures
+381
→Formal extension : Cactus calculus: center figures
+154
→Formal extension : Cactus calculus: blank figure hatching
→Document history
+9,620
→Document history
+159
→Logic as sign transformation: convert graphics
-1,049
→Exemplary proofs: del unnec specs
-37
→Praeclarum theorema: del unnec specs
-38
5 November 2008
4 November 2008
3 November 2008
→Analysis of contingent propositions: HTML → TeX
+37
→Analysis of contingent propositions: HTML → TeX
+80
Revert Some Sort Of Screw-Up : Undo revision 72582 by Jon Awbrey (Talk)
+128,707
HTML → TeX
-128,707
→Case analysis-synthesis theorem: HTML → TeX
+33
→Case analysis-synthesis theorem: HTML → TeX
+97
→Case analysis-synthesis theorem: HTML → TeX
+52
2 November 2008
→Case analysis-synthesis theorem: HTML → LaTeX
+17
→Formal extension : Cactus calculus: cleanup debris
-48
→Case analysis-synthesis theorem
-398
→Case analysis-synthesis theorem
-19
→Formal extension : Cactus calculus: sub "\_" for " \ldots"
+23
→Formal extension : Cactus calculus: HTML → LaTeX
+78
19 October 2008
→Peirce's law
→Exemplary proofs: ASCII → JPEG
-8,610
→C<sub>3</sub>. Dominant form theorem: ASCII → JPEG
-2,655
→C<sub>2</sub>. Generation theorem: ASCII → JPEG
-4,069
→C<sub>1</sub>. Double negation theorem: ASCII → JPEG
-8,064
→Formal development: add explanation of EN & EX
+1,098