Page history
18 August 2009
→Analysis of contingent propositions: tables of thin line figs : unscaled & scaled
+664
→Analysis of contingent propositions: table of unscaled figs
+704
→Propositional Equation Reasoning Systems: + examples
+974
+ [Propositional Equation Reasoning Systems]
+46
10 August 2009
27 July 2009
2 July 2009
→Cactus Graphs
+91
→Cactus Graphs: add image
+90
→Cactus Graphs: rescale
→Cactus Graphs
+32
no edit summary
+1,437
24 June 2009
18 June 2009
17 June 2009
→Differential Logic
+693
→Series 2
+649
→JPEG Graphics: use \texttt{...} font for logical operators
+551
→Series 2
→Series 2: use \texttt{...} font for logical operators
+164
→ASCII Graphics
+36
→Series 1: use \texttt{...} for logical ops
+315
→Series 1: use \texttt{...} font for logical ops
+236
→JPEG Graphics
+676
→JPEG Graphics
+2
→Differential Logic
+625
→Differential Logic
+610
→Differential Logic
+190