User contributions
MyWikiBiz, Author Your Legacy — Tuesday October 07, 2025
Jump to navigationJump to search- 17:26, 8 July 2009 diff hist +55 Directory:Jon Awbrey/Papers/Differential Logic : Introduction →Cactus Language for Propositional Logic
- 15:00, 8 July 2009 diff hist 0 Directory:Jon Awbrey/Papers/Differential Logic : Introduction →Cactus Language for Propositional Logic: move table up a bit
- 13:34, 6 July 2009 diff hist +37 N Boolean-valued functions redir current
- 13:29, 6 July 2009 diff hist -20 Directory:Jon Awbrey/Papers/Differential Logic : Introduction →Cactus Language for Propositional Logic
- 13:15, 6 July 2009 diff hist +24 Directory:Jon Awbrey/Papers/Differential Logic : Introduction →Cactus Language for Propositional Logic
- 13:02, 6 July 2009 diff hist -1 Directory:Jon Awbrey/Papers/Differential Logic : Introduction →Cactus Language for Propositional Logic
- 12:58, 6 July 2009 diff hist +196 Directory:Jon Awbrey/Papers/Differential Logic : Introduction →Cactus Language for Propositional Logic: looking for the on ramp
- 03:33, 5 July 2009 diff hist +80 Directory:Jon Awbrey/Papers/Differential Logic : Introduction →Cactus Language for Propositional Logic: uniform typeface for logical ops
- 03:18, 5 July 2009 diff hist -70 Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction →Tables: fix fonts
- 03:08, 5 July 2009 diff hist +80 Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction →Original Version: fix fonts
- 02:34, 5 July 2009 diff hist +128 Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction →Tables: uniform typeface for logical ops
- 04:41, 4 July 2009 diff hist +60 Directory:Jon Awbrey/Papers/Differential Logic : Introduction →Cactus Language for Propositional Logic: normalize punctuation fonts
- 16:48, 3 July 2009 diff hist -363 Directory:Jon Awbrey/Papers/Differential Logic : Introduction →Cactus Language for Propositional Logic: cleanup
- 20:30, 2 July 2009 diff hist +91 User:Jon Awbrey/GRAPHICS →Cactus Graphs
- 20:20, 2 July 2009 diff hist +3,941 Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction →Tables: add table
- 19:46, 2 July 2009 diff hist +708 Directory:Jon Awbrey/Papers/Differential Logic : Introduction →Cactus Language for Propositional Logic: new table with cactus graphs and existential interpretation
- 19:36, 2 July 2009 diff hist +63 Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction →Tables
- 19:32, 2 July 2009 diff hist +90 User:Jon Awbrey/GRAPHICS →Cactus Graphs: add image
- 19:12, 2 July 2009 diff hist 0 N File:Cactus (X,(A),(B),(C)) Big.jpg
- 18:31, 2 July 2009 diff hist 0 Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction rescale images
- 18:22, 2 July 2009 diff hist 0 Directory:Jon Awbrey/Papers/Theme One Program : Exposition →Expository Note 13: rescale images
- 18:16, 2 July 2009 diff hist 0 User:Jon Awbrey/TABLE →Wiki TeX Tables: rescale images
- 18:12, 2 July 2009 diff hist 0 User:Jon Awbrey/GRAPHICS →Cactus Graphs: rescale
- 18:06, 2 July 2009 diff hist +32 User:Jon Awbrey/GRAPHICS →Cactus Graphs
- 17:48, 2 July 2009 diff hist +1,437 User:Jon Awbrey/GRAPHICS
- 17:19, 2 July 2009 diff hist -21 Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction →Tables
- 17:04, 2 July 2009 diff hist 0 N File:Cactus (A,(B,C)) Big.jpg
- 16:00, 2 July 2009 diff hist +5 Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction →Tables: spacing
- 15:54, 2 July 2009 diff hist +604 Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction →Tables: add cactus graphs
- 15:35, 2 July 2009 diff hist +57 Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction →Logical Cacti
- 15:28, 2 July 2009 diff hist +3,296 Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction + tables
- 15:20, 2 July 2009 diff hist -170 Directory:Jon Awbrey/Papers/Differential Logic : Introduction →Cactus Language for Propositional Logic: reformat table
- 15:00, 2 July 2009 diff hist +128 Directory:Jon Awbrey/Papers/Differential Logic : Introduction →Cactus Language for Propositional Logic: reformat table
- 14:34, 2 July 2009 diff hist +250 Directory:Jon Awbrey/Papers/Differential Logic : Introduction →Cactus Language for Propositional Logic: reformat arrays
- 14:16, 2 July 2009 diff hist +39 Directory:Jon Awbrey/Papers/Differential Logic : Introduction →Cactus Language for Propositional Logic: reformat table
- 13:52, 2 July 2009 diff hist 0 Directory:Jon Awbrey/Papers/Differential Logic : Introduction →Cactus Language for Propositional Logic: sub [a, b, c / x, y, z]
- 13:41, 2 July 2009 diff hist +12 Directory:Jon Awbrey/Papers/Differential Logic : Introduction links & mdashes
- 13:30, 2 July 2009 diff hist +36 Logic Logic is an inquiry into the ideal form of inquiry itself. current
- 19:06, 1 July 2009 diff hist +55 Directory:Jon Awbrey/Papers/Differential Logic : Introduction tweak lead
- 16:18, 1 July 2009 diff hist -3,376 Directory:Jon Awbrey/Papers/Theme One Program : Exposition →Expository Note 13: convert graphics
- 16:08, 1 July 2009 diff hist -3,032 Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction →Logical Cacti: convert graphics
- 15:24, 1 July 2009 diff hist -236 User:Jon Awbrey/TABLE →Wiki TeX Tables
- 15:17, 1 July 2009 diff hist 0 N File:Cactus (((A),(B),(C))) Big.jpg
- 15:05, 1 July 2009 diff hist -480 User:Jon Awbrey/TABLE →Wiki TeX Tables
- 14:50, 1 July 2009 diff hist 0 N File:Cactus (((A),B,C)) Big.jpg
- 14:30, 1 July 2009 diff hist -396 User:Jon Awbrey/TABLE →Wiki TeX Tables
- 14:24, 1 July 2009 diff hist 0 N File:Cactus ((A,B,C)) Big.jpg
- 13:58, 1 July 2009 diff hist -392 User:Jon Awbrey/TABLE →Wiki TeX Tables
- 13:54, 1 July 2009 diff hist 0 N File:Cactus (A,(B),(C)) Big.jpg
- 13:43, 1 July 2009 diff hist -388 User:Jon Awbrey/TABLE →Wiki TeX Tables