User contributions
26 March 2009
25 March 2009
Directory:Jon Awbrey/Papers/Propositions As Types
Commentary Note 1: markup
+88
Directory:Jon Awbrey/Papers/Propositions As Types
Commentary Note 1: markup
+75
Directory:Jon Awbrey/Papers/Propositions As Types
Step 5 (Extended): markup
Directory:Jon Awbrey/Papers/Propositions As Types
Step 5
Directory:Jon Awbrey/Papers/Propositions As Types
Step 5: markup
+7
Directory:Jon Awbrey/Papers/Propositions As Types
Step 4: markup
-141
User:Jon Awbrey/SCRATCHPAD
Proof Example
-900
User:Jon Awbrey/SCRATCHPAD
Proof Example
+428
User:Jon Awbrey/SCRATCHPAD
Type Markers
+331
User:Jon Awbrey/SCRATCHPAD
Type Markers
+1,461
Directory:Jon Awbrey/Papers/Propositions As Types
Step 4: markup
+302
Directory:Jon Awbrey/Papers/Propositions As Types
Transposition, or the Transposer: markup
+177
Directory:Jon Awbrey/Papers/Propositions As Types
Step 4: markup
+88
Directory:Jon Awbrey/Papers/Propositions As Types
Transposition, or the Transposer: markup
+71
Directory:Jon Awbrey/Papers/Propositions As Types
Step 2: markup
+684
Directory:Jon Awbrey/Papers/Propositions As Types
Step 2: markup
+203
Directory:Jon Awbrey/Papers/Propositions As Types
Step 2: change notation + markup
+513
User:Jon Awbrey/SCRATCHPAD
Transposer T
+131
Directory:Jon Awbrey/Papers/Propositions As Types
Step 2: normalize type markers + fix typos
+85
User:Jon Awbrey/SCRATCHPAD
Type Markers
+79
User:Jon Awbrey/SCRATCHPAD
Transposer T
+39
User:Jon Awbrey/SCRATCHPAD
Type Markers
+336
User:Jon Awbrey/SCRATCHPAD
Over And Under Setting
+856
Directory:Jon Awbrey/Papers/Propositions As Types
Transposition, or the Transposer: markup
+131
Directory:Jon Awbrey/Papers/Propositions As Types
Step 1: markup
+652
Directory:Jon Awbrey/Papers/Propositions As Types
Step 1: markup
+384
Directory:Jon Awbrey/Papers/Propositions As Types
Step 1: markup
+399
Directory:Jon Awbrey/Papers/Propositions As Types
Step 1: markup
+357
Directory:Jon Awbrey/Papers/Propositions As Types
Step 1: markup
+238
Directory:Jon Awbrey/Papers/Propositions As Types
Step 1: markup
+224
24 March 2009
Directory:Jon Awbrey/Papers/Propositions As Types
Step 1: markup
+213
Directory:Jon Awbrey/Papers/Propositions As Types
Transposition, or the Transposer: clarify
-4
Directory:Jon Awbrey/Papers/Propositions As Types
Transposition, or the Transposer: markup
+145
Directory:Jon Awbrey/Papers/Propositions As Types
Triadic Analogy : Analogy Between Two Triadic Relations
+12
Directory:Jon Awbrey/Papers/Propositions As Types
Self-Documentation : Developmental Data Structures: markup
+189
Directory:Jon Awbrey/Papers/Propositions As Types
Step 4: markup
+223
Directory:Jon Awbrey/Papers/Propositions As Types
Step 5: markup
-4
Directory:Jon Awbrey/Papers/Propositions As Types
Step 4: markup
+338
Directory:Jon Awbrey/Papers/Propositions As Types
Step 3 (Optional): markup
+28
Directory:Jon Awbrey/Papers/Propositions As Types
Step 2: markup
+434
Directory:Jon Awbrey/Papers/Propositions As Types
Step 2: markup
-58
Directory:Jon Awbrey/Papers/Propositions As Types
Step 2: change notation + markup
+380
User:Jon Awbrey/SCRATCHPAD
Over And Under Setting
+263
Directory:Jon Awbrey/Papers/Propositions As Types
Step 2
+32
User:Jon Awbrey/SCRATCHPAD
Over And Under Setting
+689
Directory:Jon Awbrey/Papers/Propositions As Types
Step 2: markup
+222
Directory:Jon Awbrey/Papers/Propositions As Types
Step 1
-5
Directory:Jon Awbrey/Papers/Propositions As Types
Step 2
+28
Directory:Jon Awbrey/Papers/Propositions As Types
Step 1
+30