Page history
25 November 2008
21 November 2008
→Axioms vs. Rules: i'll be back …
+32
no edit summary
+360
restore tables to original order
table widths @ 96%
-2
20 November 2008
no edit summary
+17
no edit summary
-39
no edit summary
+234
no edit summary
+374
no edit summary
-101
no edit summary
+770
no edit summary
+430
no edit summary
+233
no edit summary
+240
no edit summary
+154
no edit summary
+203
19 November 2008
HTML → TeX
+284
spacing
+4
spacing
+6
no edit summary
+24
→Higher Order Propositions and Logical Operators (''n'' = 2): sp
+1
no edit summary
+492
no edit summary
-67
no edit summary
+10
no edit summary
-591
no edit summary
+129
→Measure for Measure
+17
HTML → LaTeX
+144
18 November 2008
change table color scheme to ghostwhite head and white body
-165
HTML → TeX
+97
HTML → LaTeX
+282
HTML → LaTeX
-18
no edit summary
-29
no edit summary
+55
no edit summary
+42
no edit summary
+116
no edit summary
-61
no edit summary
+134
no edit summary
-106
no edit summary
+87
no edit summary
+88
HTML → LaTeX
+37
→Umpire Operators
+6
no edit summary
+22
→Higher Order Propositions and Logical Operators (''n'' = 2)
+2
HTML → LaTeX
+15