Page history
9 December 2015
7 December 2015
3 September 2010
→1.3.12. Syntactic Transformations: "their roughly parallel arrays of conceptions and constructions"
+19
+ section numbers
+47
→1.3.12. Syntactic Transformations
-1
→1.3.12. Syntactic Transformations: trim
-47
→Syntactic Transformations: integrate other version
+129
20 February 2009
→Syntactic Transformation Rules: figits
-3
→Syntactic Transformation Rules: fix typos
-5
→Syntactic Transformation Rules: editing note + cleanup
-224
13 February 2009
→Syntactic Transformation Rules: format rule box
+2,089
→Derived Equivalence Relations: format fact box
+5,200
12 February 2009
10 February 2009
→Derived Equivalence Relations: format fact box
+5,189
→Derived Equivalence Relations: format definition box
+1,403
9 February 2009
→Derived Equivalence Relations: format definition box
+1,803
→Derived Equivalence Relations: format definition box
+1,680
→Derived Equivalence Relations: format definition box
+1,444
→Derived Equivalence Relations: format definition box
+1,680
→Derived Equivalence Relations: format definition box
+1,444
8 February 2009
→Digression on Derived Relations: mathematical markup
+229
→Digression on Derived Relations: de-tangle definition
+136
→Digression on Derived Relations: mathematical markup
+321
→Digression on Derived Relations: mathematical markup
+263
7 February 2009
→Digression on Derived Relations: mathematical markup
+41
→Derived Equivalence Relations: mathematical markup
+103
5 February 2009
→Derived Equivalence Relations: mathematical markup
+267
→Derived Equivalence Relations: mathematical markup
+247
→Derived Equivalence Relations: mathematical markup
+29
→Derived Equivalence Relations: mathematical markup
+33
→Derived Equivalence Relations: more white space in ordered list
+179
→Derived Equivalence Relations: mathematical markup
+651
4 February 2009
→Derived Equivalence Relations: mathematical markup
+113
→Derived Equivalence Relations: mathematical markup
+213
→Derived Equivalence Relations: mathematical markup
+121
→Derived Equivalence Relations: mathematical markup
+300
→Derived Equivalence Relations: mathematical markup
+203
→Derived Equivalence Relations: mathematical markup + editing note
+429
→Derived Equivalence Relations: mathematical markup
+173
→Derived Equivalence Relations: mathematical markup
+201
→Derived Equivalence Relations: mathematical markup
+135
→Derived Equivalence Relations: mathematical markup
+144
→Syntactic Transformation Rules: add parentheses + fix typo
+4
→Syntactic Transformation Rules: format fact box
+4,431
3 February 2009
→Syntactic Transformation Rules: try that again
-1
→Syntactic Transformation Rules: fix typos
→Syntactic Transformation Rules: mathematical markup
+447
→Syntactic Transformation Rules: format rule box
+3,630
→Syntactic Transformation Rules: format rule box
+4,034
→Syntactic Transformation Rules: format rule box
+3,636