User contributions
30 June 2009
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
Original Version: markup
-1,555
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
Original Version
+547
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Cactus Language for Propositional Logic: + previous intro
+5,565
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0
Review and Transition
+89
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0
Review and Transition
+287
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0
Review and Transition
+8
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0
Review and Transition
+119
29 June 2009
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
Original Version: markup
+55
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
Logical Cacti: copy partial markup
+27,651
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
Work Area
-53
Directory:Jon Awbrey/Papers/Cactus Language
cleanup
-2
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
copy material to work on
+20,386
Directory talk:Jon Awbrey/Papers/Cactus Language
move notes to talk page
+191,647
Directory:Jon Awbrey/Papers/Cactus Language
Notes Found in a Cactus Patch: move to talk page
-191,644
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0
copy previous version
+420,177
27 June 2009
Directory:Jon Awbrey/Notes/Factorization And Reification
mdasher, mdancer ...
Directory:Jon Awbrey/Notes/Factorization And Reification
trim lead
-142
Directory:Jon Awbrey/Notes/Factorization And Reification
Factoring Functions: trim
-45
Directory:Jon Awbrey/Notes/Factorization And Reification
Factoring Sign Relations: trim
-89
26 June 2009
Directory:Jon Awbrey/Notes/Factorization And Reification
Nominalism and Realism: adjust notation
-27
Directory:Jon Awbrey/Notes/Factorization And Reification
Nominalism and Realism: convert graphics
-452
File:Factorization Sign Relation 5.jpg
no edit summary
Directory:Jon Awbrey/Notes/Factorization And Reification
Nominalism and Realism: convert graphics
-330
File:Factorization Sign Relation 4.jpg
no edit summary
Directory:Jon Awbrey/Notes/Factorization And Reification
Nominalism and Realism: convert graphics
-320
File:Factorization Sign Relation 3.jpg
no edit summary
Directory:Jon Awbrey/Notes/Factorization And Reification
Nominalism and Realism: convert graphics + delete ascii kludge
-1,024
Directory:Jon Awbrey/Notes/Factorization And Reification
Factoring Sign Relations: convert graphics
-529
File:Factorization Sign Relation Piece 2.jpg
no edit summary
Directory:Jon Awbrey/Notes/Factorization And Reification
Factoring Sign Relations: alternate graphic style
-1
Directory:Jon Awbrey/Notes/Factorization And Reification
Factoring Sign Relations: convert graphics
-366
File:Factorization Sign Relation Piece 1.jpg
no edit summary
File:Factorization Sign Relation 2.jpg
no edit summary
File:Factorization Sign Relation 1.jpg
no edit summary
Directory:Jon Awbrey/Notes/Factorization And Reification
Factoring Sign Relations: png char
+2
Directory:Jon Awbrey/Notes/Factorization And Reification
Factoring Functions: typo
+5
Directory:Jon Awbrey/Notes/Factorization And Reification
Factoring Functions: convert graphic
-464
File:Factorization Function Example 2.jpg
no edit summary
Directory:Jon Awbrey/Notes/Factorization And Reification
Factoring Functions: convert graphics
-335
File:Factorization Function Example 1.jpg
no edit summary
Directory:Jon Awbrey/Notes/Factorization And Reification
Factoring Functions: change labels
25 June 2009
Directory:Jon Awbrey/Notes/Factorization And Reification
Nominalism and Realism: markup + edit
+313
User:Jon Awbrey/TABLE
Factorization
+660
Directory:Jon Awbrey/Notes/Factorization And Reification
Nominalism and Realism: markup + copyedit
+324
User:Jon Awbrey/TABLE
Factorization
+140
User:Jon Awbrey/TABLE
Relational Tables
+620
Directory:Jon Awbrey/Notes/Factorization And Reification
Factoring Functions: markup
+172
Directory:Jon Awbrey/Notes/Factorization And Reification
Factoring Sign Relations: convert graphic
-690
File:Factorization Sign Relation L'.jpg
no edit summary
Directory:Jon Awbrey/Notes/Factorization And Reification
Factoring Sign Relations
-136