User contributions
22 June 2009
21 June 2009
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 5: spacing
-10
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 6: cleanup
-21
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 4: convert graphics
-750
File:Cactus Graph Lobe Rule.jpg
no edit summary
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 6: convert graphics
-2,503
File:Cactus Graph Ef@(P)(Q) = dP dQ.jpg
no edit summary
File:Cactus Graph Ef@(P)Q = dP(dQ).jpg
no edit summary
File:Cactus Graph Ef@P(Q) = (dP)dQ.jpg
no edit summary
File:Cactus Graph Ef@PQ = (dP)(dQ).jpg
no edit summary
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 6: convert graphics + adjust spacing
-640
Directory:Jon Awbrey/Papers/Dynamics And Logic
Note 3: convert graphics
-1,611
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 4: convert graphics
-2,016
File:Cactus Graph Df@(P)(Q) = dP dQ.jpg
no edit summary
File:Cactus Graph Df@(P)Q = dP(dQ).jpg
no edit summary
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 4: convert graphics
-1,003
File:Cactus Graph Df@P(Q) = (dP)dQ.jpg
no edit summary
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 4: convert graphics
-949
File:Cactus Graph Df@PQ = ((dP)(dQ)).jpg
no edit summary
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 4: convert graphics + adjust spacing
-1,011
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 3: spacing
-124
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 3: convert graphics
-920
File:Cactus Graph Df = ((P,dP)(Q,dQ),PQ).jpg
no edit summary
20 June 2009
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 3: convert graphics
-567
File:Cactus Graph Ef = (P,dP)(Q,dQ).jpg
no edit summary
Directory:Jon Awbrey/Papers/Dynamics And Logic
Note 2: convert graphics
-509
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 2: adjust spacing
+54
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 2: convert graphics
-563
File:Cactus Graph PQ Diff ((dP)(dQ)).jpg
no edit summary
19 June 2009
Directory:Jon Awbrey/Papers/Dynamics And Logic
Note 1: typo
+3
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 1: typo
+3
Directory:Jon Awbrey/Papers/Dynamics And Logic
Note 1: convert graphics
-5,382
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 1: convert graphics
-621
File:Cactus Graph ((dP)(dQ)).jpg
no edit summary
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 1: convert graphics
-979
File:Cactus Graph (( ,dP)( ,dQ), ).jpg
no edit summary
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 1: convert graphics
-978
File:Cactus Graph ((P,dP)(Q,dQ),PQ).jpg
no edit summary
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 1: expand
+70
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
add talk page
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 1: arrggrhhhh
-9
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 1: need the "of"
+31
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 1: edit
+98
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 1: try to clarify
+178
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 1: convert graphics
-523
File:Cactus Graph (P,dP).jpg
no edit summary
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 1: convert graphics
-1,380
File:Cactus Graph (P,dP)(Q,dQ).jpg
no edit summary
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 1: convert graphics
-404
File:Cactus Graph Existential P And Q.jpg
no edit summary