User contributions
9 February 2009
User:Jon Awbrey/SCRATCHPAD
Definition 12
+1,654
Directory:Jon Awbrey/Papers/Syntactic Transformations
Derived Equivalence Relations: format definition box
+1,680
User:Jon Awbrey/SCRATCHPAD
Definition 11
-224
User:Jon Awbrey/SCRATCHPAD
Definition 11
+1,916
Directory:Jon Awbrey/Papers/Syntactic Transformations
Derived Equivalence Relations: format definition box
+1,444
User:Jon Awbrey/SCRATCHPAD
Definition 10
-198
User:Jon Awbrey/SCRATCHPAD
Definition 10
+6
User:Jon Awbrey/SCRATCHPAD
Definition 10
+1,648
Directory:Jon Awbrey/Papers/Syntactic Transformations
Derived Equivalence Relations: format definition box
+1,680
User:Jon Awbrey/SCRATCHPAD
Definition 9
+44
User:Jon Awbrey/SCRATCHPAD
Definition 9
+1,648
Directory:Jon Awbrey/Papers/Syntactic Transformations
Derived Equivalence Relations: format definition box
+1,444
User:Jon Awbrey/SCRATCHPAD
Definition 8
+89
User:Jon Awbrey/SCRATCHPAD
Definition 8
+1,367
8 February 2009
Directory:Jon Awbrey/Papers/Syntactic Transformations
Digression on Derived Relations: mathematical markup
+229
Directory:Jon Awbrey/Papers/Syntactic Transformations
Digression on Derived Relations: de-tangle definition
+136
Directory:Jon Awbrey/Papers/Syntactic Transformations
Digression on Derived Relations: mathematical markup
+321
Directory:Jon Awbrey/Papers/Syntactic Transformations
Digression on Derived Relations: mathematical markup
+263
7 February 2009
Directory:Jon Awbrey/Papers/Syntactic Transformations
Digression on Derived Relations: mathematical markup
+41
Directory:Jon Awbrey/Papers/Syntactic Transformations
Derived Equivalence Relations: mathematical markup
+103
5 February 2009
Directory:Jon Awbrey/Papers/Syntactic Transformations
Derived Equivalence Relations: mathematical markup
+267
Directory:Jon Awbrey/Papers/Syntactic Transformations
Derived Equivalence Relations: mathematical markup
+247
Directory:Jon Awbrey/Papers/Syntactic Transformations
Derived Equivalence Relations: mathematical markup
+29
Directory:Jon Awbrey/Papers/Syntactic Transformations
Derived Equivalence Relations: mathematical markup
+33
Directory:Jon Awbrey/Papers/Syntactic Transformations
Derived Equivalence Relations: more white space in ordered list
+179
Directory:Jon Awbrey/Papers/Syntactic Transformations
Derived Equivalence Relations: mathematical markup
+651
4 February 2009
Directory:Jon Awbrey/Papers/Syntactic Transformations
Derived Equivalence Relations: mathematical markup
+113
Directory:Jon Awbrey/Papers/Syntactic Transformations
Derived Equivalence Relations: mathematical markup
+213
Directory:Jon Awbrey/Papers/Syntactic Transformations
Derived Equivalence Relations: mathematical markup
+121
Directory:Jon Awbrey/Papers/Syntactic Transformations
Derived Equivalence Relations: mathematical markup
+300
Directory:Jon Awbrey/Papers/Syntactic Transformations
Derived Equivalence Relations: mathematical markup
+203
Directory:Jon Awbrey/Papers/Syntactic Transformations
Derived Equivalence Relations: mathematical markup + editing note
+429
Directory:Jon Awbrey/Papers/Syntactic Transformations
Derived Equivalence Relations: mathematical markup
+173
User:Jon Awbrey/SCRATCHPAD
more definitions and facts
+3,165
User:Jon Awbrey/SCRATCHPAD
Box Displays
+675
Directory:Jon Awbrey/Papers/Syntactic Transformations
Derived Equivalence Relations: mathematical markup
+201
Directory:Jon Awbrey/Papers/Syntactic Transformations
Derived Equivalence Relations: mathematical markup
+135
Directory:Jon Awbrey/Papers/Syntactic Transformations
Derived Equivalence Relations: mathematical markup
+144
Directory:Jon Awbrey/Papers/Syntactic Transformations
Syntactic Transformation Rules: add parentheses + fix typo
+4
User:Jon Awbrey/SCRATCHPAD
Fact 1
+8
User:Jon Awbrey/SCRATCHPAD
Fact 1
Directory:Jon Awbrey/Papers/Syntactic Transformations
Syntactic Transformation Rules: format fact box
+4,431
User:Jon Awbrey/SCRATCHPAD
Fact 1
+4,475
User:Jon Awbrey/SCRATCHPAD
Fact 1
+721
User:Jon Awbrey/SCRATCHPAD
Fact 1
+83
3 February 2009
User:Jon Awbrey/SCRATCHPAD
Fact 1
+191
User:Jon Awbrey/SCRATCHPAD
Fact 1
-25
Directory:Jon Awbrey/Papers/Syntactic Transformations
Syntactic Transformation Rules: try that again
-1
Directory:Jon Awbrey/Papers/Syntactic Transformations
Syntactic Transformation Rules: fix typos
Directory:Jon Awbrey/Papers/Syntactic Transformations
Syntactic Transformation Rules: mathematical markup
+447