Page history
27 September 2010
→C2. Generation theorem: split up monolithic graphic & re-number figures
+923
→C1. Double negation: renumber figures
→C1. Double negation: renumber figures
→C1. Double negation: replace monolithic graphic with frame-table version
+1,151
26 March 2010
→C<sub>1</sub>. Double negation: trim head
-8
→Frequently used theorems: + Image:Generation Theorem 2.0 Animation.gif
+361
25 March 2010
→Praeclarum theorema : Proof by CAST: animation resized to 500 x 389 px
+6
→Two-thirds majority function: resize animation to 500 x 250 px
+9
24 March 2010
→Variations on a theme of transitivity: use arabic numbering of figures & tables, but sequential within sections
-9
back to arabic numbering of figures & tables, but sequential with sections
-243
→Axioms: renumb figs
-23
revert -- go back to arabic numbering, but sequential within section
+12
→Variations on a theme of transitivity: renumber tables
-12
→Analysis of contingent propositions: renumb figs
+77
→Logic as sign transformation: renumb figs
+5
→Case analysis-synthesis theorem: renumb figs
+45
→Formal extension : Cactus calculus: renumb figs
+9
→Exemplary proofs: renumb figs
+82
→Frequently used theorems: renumb figs
-3
→Axioms: try a less distracting figure numbering scheme
+7
→C<sub>3</sub>. Dominant form theorem: renumb figs
+10
→C<sub>2</sub>. Generation theorem: renumber figures
+12
→C<sub>1</sub>. Double negation theorem: renumber figures
+24
→Axioms: try a more robust figure numbering scheme
+16
→C<sub>1</sub>. Double negation theorem: + animation
+358
22 March 2010
→Praeclarum theorema : Proof by CAST
+12
→Praeclarum theorema : Proof by CAST: introduce animation & clarify awkward phrasing
+118
→Praeclarum theorema : Proof by CAST: Image:Praeclarum Theorema CAST 2.0 Animation.gif
+4
21 March 2010
→Variations on a theme of transitivity: reumber figures
→Analysis of contingent propositions: renumber figures
+7
→Logic as sign transformation: renumber figures
→Praeclarum theorema : Proof by CAST: renumber figures
-25
→Discusssion: renumber figures
→Formal extension : Cactus calculus: renumber figures
→Majority function example: renumber figures
+92
→Praeclarum theorema : Proof by CAST: fix heading
-1
→Example
+29
20 March 2010
17 March 2010
→Proof 1 : Animation
+1
→Proof 1 : Animation: revise example
+2
→Majority function example: revise example
+36
14 March 2010
→Majority function example
-18
→Proof 1 : Animation
+10
→Majority function example
+19
→Majority function example
-9
→Majority function
+297
→Majority function
+340
25 December 2009
→Majority function: decap
→Majority Function: + proof 1
+1,415
→Exemplary proofs: add [majority function] example
+170
