Page history
5 July 2013
28 October 2009
→Higher Order Propositional Expressions: <math> for $
+22
→Higher Order Propositional Expressions: + note on notation
+605
25 October 2009
5 October 2009
→Application of Higher Order Propositions to Quantification Theory: italix
+2
→Application of Higher Order Propositions to Quantification Theory: wrong wrappers
+34
→Application of Higher Order Propositions to Quantification Theory: de-awk
-187
30 September 2009
6 May 2009
15 December 2008
→Higher Order Propositional Expressions: acronym deleted
-9
→Functional Logic: + [NKS Forum]
+634
move generalized umpire operators to appendix for now
-21
14 December 2008
→Application of Higher Order Propositions to Quantification Theory: text-align:center;
+19
→Option 2 : More General: reset formula displays
-40
→Umpire Operators: center formula displays
+128
→Umpire Operators: style="text-align:center"
+104
→Umpire Operators: reset formula display
+87
→Higher Order Propositions and Logical Operators (''n'' = 2): reset formula display
+68
→Higher Order Propositions and Logical Operators (''n'' = 2)
+358
→Measure for Measure: back to parens for functions
-112
→Option 1 : Less General: back to e & f
+3
→Option 1 : Less General: type X as \langle u, v \rangle
+299
→Option 1 : Less General: explicit typing X_{\mathbb{B}^2}
+36
→Option 1 : Less General: the misereres of mixed-mode markup
+37
→Option 1 : Less General: \operatorname{if~and~only~if}
-1
→Option 1 : Less General: reset formula displays
+52
→Higher Order Propositions and Logical Operators (''n'' = 2): spaced out equations
+132
→Higher Order Propositions and Logical Operators (''n'' = 2): center displays
+136
→Higher Order Propositions and Logical Operators (''n'' = 2): used bold code font for cactus language
+85
→Measure for Measure: reset formula display
-3
13 December 2008
change of notation : [u, v] → [i, j] & [x, y] → [u, v]
→Higher Order Propositional Expressions: redo table
+1,278
→Higher Order Propositions and Logical Operators (''n'' = 2): redo table in fractal checkerboard style
+877
redo tables
+12,465
redo tables
+19,652
9 December 2008
→Option 1 : Less General: conclude section
+260
→Option 1 : Less General
+418
→Option 1 : Less General
+452
→Option 1 : Less General: restoring original section on option 1
+156
→Option 1 : Less General
+336
→Option 1 : Less General
+498
→Umpire Operators: restoring section on option 1 : less general approach from original document ...
+393
→Umpire Operators: restore deleted section
+695
26 November 2008
→Document History: amplify note
+155
→Document History: move note to top of section
+1
→Inquiry and Analogy: + NOTE
+259
add cats
+695