Page history
4 July 2013
25 May 2013
18 March 2012
23 November 2009
→Application of Higher Order Propositions to Quantification Theory: restyle tables
+578
sub [ smallmatrix / matrix ] in column heads
+160
add last piece
+27,628
Jon Awbrey
→Application of Higher Order Propositions to Quantification Theory: restyle tables
22:22
+578
Jon Awbrey
sub [ smallmatrix / matrix ] in column heads
03:20
+160
Jon Awbrey
add last piece
03:10
+27,628
Jon Awbrey
add content
16:10
+1,961
Jon Awbrey
→Measure for Measure: remove unnecessary parentheses
14:54
+6
Jon Awbrey
add a bit more
14:44
+2,586
Jon Awbrey
add another piece
13:26
+5,051
Jon Awbrey
→Measure for Measure: fix table heading & spacing
04:05
-2
Jon Awbrey
add a bit more
04:00
+906
Jon Awbrey
→Measure for Measure: fix truth table labels + cleanup
03:52
+11
Jon Awbrey
try again
03:45
+68,160