All public logs
MyWikiBiz, Author Your Legacy — Monday April 29, 2024
Jump to navigationJump to searchCombined display of all available logs of MyWikiBiz. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
(newest | oldest) View (newer 250 | older 250) (20 | 50 | 100 | 250 | 500)- 20:22, 2 October 2013 Jon Awbrey talk contribs uploaded File:DiffPropCalc2.jpg
- 20:20, 2 October 2013 Jon Awbrey talk contribs uploaded File:DiffPropCalc1.jpg
- 14:44, 8 July 2013 Jon Awbrey talk contribs uploaded File:Diff Log Dyn Sys -- Figure 70-b -- Tangent Functor Diagram.gif
- 03:02, 8 May 2013 Jon Awbrey talk contribs uploaded File:Ivan Antonowitz -- Transparent Colours.jpg (Drawing by Ivan Antonowitz, illustrating a method of displaying dyadic projections. Cf: “Figure 67. Syll c B^3 and its Dyadic Projections†In: Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems)
- 15:12, 10 March 2013 Jon Awbrey talk contribs uploaded File:Indicator Functions + Cell Map.jpg
- 03:48, 8 March 2013 Jon Awbrey talk contribs uploaded File:Indicator Functions.jpg
- 20:15, 7 March 2013 Jon Awbrey talk contribs uploaded File:Boolean Valued Map And Boolean Cell Map.jpg
- 15:24, 7 March 2013 Jon Awbrey talk contribs uploaded a new version of File:Boolean Coordinate Diagram Alt K.jpg
- 15:22, 7 March 2013 Jon Awbrey talk contribs uploaded File:Boolean Coordinate Diagram Alt N.jpg
- 15:22, 7 March 2013 Jon Awbrey talk contribs uploaded a new version of File:Boolean Coordinate Diagram.jpg
- 15:10, 7 March 2013 Jon Awbrey talk contribs uploaded File:Boolean Coordinate Diagram Alt K.jpg
- 14:42, 7 March 2013 Jon Awbrey talk contribs uploaded File:Boolean Coordinate Diagram.jpg
- 14:32, 7 March 2013 Jon Awbrey talk contribs uploaded File:Boolean Coordinate Mapping.jpg
- 14:22, 7 March 2013 Jon Awbrey talk contribs uploaded File:Boolean Coordinate Map.jpg
- 15:40, 4 July 2012 Jon Awbrey talk contribs uploaded File:Rote 2012 Big.jpg
- 14:48, 4 July 2012 Jon Awbrey talk contribs uploaded a new version of File:Riff 2012 Big.jpg
- 04:23, 4 July 2012 Jon Awbrey talk contribs uploaded File:Riff 2012 Big.jpg
- 16:48, 15 April 2012 Jon Awbrey talk contribs uploaded a new version of File:R&R Dot Array Enlarge 3 Crop 0.9.png
- 16:20, 15 April 2012 Jon Awbrey talk contribs uploaded File:R&R Dot Array Big Crop.png
- 16:20, 15 April 2012 Jon Awbrey talk contribs uploaded File:R&R Dot Array Big.png
- 16:12, 15 April 2012 Jon Awbrey talk contribs uploaded File:R&R Dot Array Enlarge 3 Crop 0.9.png
- 16:08, 15 April 2012 Jon Awbrey talk contribs uploaded File:R&R Dot Array Enlarge 300%.png
- 16:06, 15 April 2012 Jon Awbrey talk contribs uploaded File:R&R Dot Array.png
- 03:46, 5 November 2011 Jon Awbrey talk contribs uploaded File:State Of Michigan Funding Versus Tuition.doc
- 03:40, 5 November 2011 Jon Awbrey talk contribs uploaded File:Michigan Disinvestment In Higher Education.ppt
- 15:02, 29 July 2011 Jon Awbrey talk contribs uploaded File:Venn Diagram (P,Q).jpg
- 18:10, 5 January 2011 Jon Awbrey talk contribs uploaded File:Rote 2011 Big.png
- 18:06, 5 January 2011 Jon Awbrey talk contribs uploaded a new version of File:Rote 2011 Big.jpg
- 18:04, 5 January 2011 Jon Awbrey talk contribs uploaded File:Rote 2011 Big.gif
- 16:42, 5 January 2011 Jon Awbrey talk contribs uploaded File:Riff 2011 Test.gif
- 16:39, 5 January 2011 Jon Awbrey talk contribs uploaded File:Riff 2011 Big.png
- 16:34, 5 January 2011 Jon Awbrey talk contribs uploaded File:Riff 2011 Alt.gif
- 16:30, 5 January 2011 Jon Awbrey talk contribs uploaded a new version of File:Riff 2011 Big.jpg
- 16:30, 5 January 2011 Jon Awbrey talk contribs uploaded File:Riff 2011 Big.gif
- 04:40, 5 January 2011 Jon Awbrey talk contribs uploaded File:Rote 2011 Corel.jpg
- 04:40, 5 January 2011 Jon Awbrey talk contribs uploaded File:Riff 2011 Corel.jpg
- 22:04, 3 January 2011 Jon Awbrey talk contribs uploaded File:Rote 2011 Big.jpg
- 22:02, 3 January 2011 Jon Awbrey talk contribs uploaded File:Riff 2011 Big.jpg
- 20:48, 30 December 2010 Jon Awbrey talk contribs uploaded a new version of File:Cycle of Inquiry.jpg
- 19:58, 30 December 2010 Jon Awbrey talk contribs uploaded a new version of File:Cycle of Inquiry.jpg
- 18:06, 30 December 2010 Jon Awbrey talk contribs uploaded a new version of File:Aristotle's Paradigm.jpg
- 15:25, 29 December 2010 Jon Awbrey talk contribs uploaded File:Dewey's Sign of Rain Example.jpg
- 05:15, 29 December 2010 Jon Awbrey talk contribs uploaded File:Types of Reasoning in Transition.jpg
- 04:00, 29 December 2010 Jon Awbrey talk contribs uploaded File:Types of Reasoning in Peirce.jpg
- 18:00, 26 December 2010 Jon Awbrey talk contribs uploaded a new version of File:Types of Reasoning in Aristotle.jpg
- 07:06, 25 December 2010 Jon Awbrey talk contribs uploaded File:Peirce's Formulation of Analogy (Version 2).jpg
- 07:06, 25 December 2010 Jon Awbrey talk contribs uploaded File:Peirce's Formulation of Analogy (Version 1).jpg
- 02:41, 24 December 2010 Jon Awbrey talk contribs uploaded File:Aristotle's Paradigm.jpg
- 01:38, 24 December 2010 Jon Awbrey talk contribs uploaded File:Triply Wise Act.jpg
- 16:26, 19 December 2010 Jon Awbrey talk contribs uploaded File:Cycle of Inquiry.jpg
- 20:40, 18 December 2010 Jon Awbrey talk contribs uploaded File:Signs And Inquiry In Dewey.gif
- 20:40, 18 December 2010 Jon Awbrey talk contribs uploaded File:Sign Relation In Aristotle.gif
- 20:37, 18 December 2010 Jon Awbrey talk contribs uploaded File:Types of Reasoning in Aristotle.jpg
- 12:12, 7 October 2010 Jon Awbrey talk contribs uploaded File:Cactus (A) Big Alt.jpg
- 20:24, 4 October 2010 Jon Awbrey talk contribs uploaded File:Tangent Functor Ferris Wheel.png ("Tangent Functor Ferris Wheel" by Jon Awbrey)
- 15:14, 4 October 2010 Jon Awbrey talk contribs uploaded File:Tangent Functor Ferris Wheel.jpg
- 12:20, 26 April 2010 Jon Awbrey talk contribs uploaded File:Hypostatic Abstraction Figure 4.png
- 12:19, 26 April 2010 Jon Awbrey talk contribs uploaded File:Hypostatic Abstraction Figure 3.png
- 12:18, 26 April 2010 Jon Awbrey talk contribs uploaded File:Hypostatic Abstraction Figure 2.png
- 12:17, 26 April 2010 Jon Awbrey talk contribs uploaded File:Hypostatic Abstraction Figure 1.png
- 03:30, 3 April 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority Eq 1 Pf 1 Banner Title.png
- 04:07, 2 April 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema 2.0 Frame 7.png
- 04:06, 2 April 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema 2.0 Frame 6.png
- 04:05, 2 April 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema 2.0 Frame 5.png
- 04:04, 2 April 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema 2.0 Frame 4.png
- 04:03, 2 April 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema 2.0 Frame 3.png
- 04:02, 2 April 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema 2.0 Frame 2.png
- 04:01, 2 April 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema 2.0 Frame 1.png
- 04:00, 2 April 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema 2.0 Animation.gif
- 20:12, 1 April 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Rule Quit abcd.png
- 20:11, 1 April 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Rule Weed bc.png
- 20:10, 1 April 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Rule Reflect b, c.png
- 20:09, 1 April 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Rule Weed a, d.png
- 20:08, 1 April 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Rule Reflect ad(bc).png
- 20:07, 1 April 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema 1.0 Storyboard 7.png
- 20:06, 1 April 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema 1.0 Storyboard 6.png
- 20:05, 1 April 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema 1.0 Storyboard 5.png
- 20:04, 1 April 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema 1.0 Storyboard 4.png
- 20:03, 1 April 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema 1.0 Storyboard 3.png
- 20:02, 1 April 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema 1.0 Storyboard 2.png
- 20:01, 1 April 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema 1.0 Storyboard 1.png
- 20:00, 1 April 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema 1.0 Marquee Title.png
- 19:15, 1 April 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema 1.0 Splash Page.png
- 03:45, 1 April 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law Strong Form 2.0 Animation.gif
- 02:44, 1 April 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law Strong Form 2.0 Frame 4.png
- 02:43, 1 April 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law Strong Form 2.0 Frame 3.png
- 02:42, 1 April 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law Strong Form 2.0 Frame 2.png
- 02:41, 1 April 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law Strong Form 2.0 Frame 1.png
- 02:40, 1 April 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law Strong form 2.0 Animation.gif
- 01:56, 1 April 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Rule Cancel (( )).png
- 01:54, 1 April 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Rule Quit ((q)).png
- 01:52, 1 April 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Rule Collect p.png
- 01:50, 1 April 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law Strong Form 1.0 Storyboard 4.png
- 01:48, 1 April 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law Strong Form 1.0 Storyboard 3.png
- 01:46, 1 April 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law Strong Form 1.0 Storyboard 2.png
- 01:44, 1 April 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law Strong Form 1.0 Storyboard 1.png
- 01:42, 1 April 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law Strong Form 1.0 Marquee Title.png
- 01:40, 1 April 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law Strong Form 1.0 Splash Page.png
- 18:06, 31 March 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law 2.0 Frame 6.png
- 18:05, 31 March 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law 2.0 Frame 5.png
- 18:04, 31 March 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law 2.0 Frame 4.png
- 18:03, 31 March 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law 2.0 Frame 3.png
- 18:02, 31 March 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law 2.0 Frame 2.png
- 18:01, 31 March 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law 2.0 Frame 1.png
- 18:00, 31 March 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law 2.0 Animation.gif
- 19:29, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 9.png
- 19:28, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 8.png
- 19:27, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 7.png
- 19:26, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 6.png
- 19:25, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 5.png
- 19:24, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 4.png
- 19:23, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 3.png
- 19:22, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 2.png
- 19:21, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 1.png
- 17:32, 30 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Bar Delete a, b, c.png
- 17:30, 30 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Bar Weed ab, ac, bc.png
- 17:28, 30 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Bar Cancel (( )).png
- 17:26, 30 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Bar Quit (a), (b), (c).png
- 17:24, 30 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Bar Collect ab, ac, bc.png
- 17:22, 30 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Bar Distribute (abc).png
- 17:20, 30 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Bar Reflect ab, ac, bc.png
- 17:09, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 9.png
- 17:08, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 8.png
- 17:07, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 7.png
- 17:06, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 6.png
- 17:05, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 5.png
- 17:04, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 4.png
- 17:04, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 3.png
- 17:03, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 2.png
- 17:02, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 1.png
- 17:01, 30 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority Eq 1 Pf 1 Banner Title.png
- 05:06, 30 March 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law 1.0 Marquee Title.png
- 04:32, 30 March 2010 Jon Awbrey talk contribs uploaded File:Dominant Form 1.0 Marquee Title.png
- 04:18, 30 March 2010 Jon Awbrey talk contribs uploaded File:Generation Theorem 1.0 Marquee Title.png
- 04:00, 30 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Band QED.png
- 03:56, 30 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Banner QED.png
- 03:54, 30 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference QED.png
- 03:36, 30 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Marquee QED.png
- 03:36, 30 March 2010 Jon Awbrey talk contribs uploaded File:Double Negation 1.0 Marquee Title.png
- 21:06, 29 March 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law 1.0 Storyboard 6.png
- 21:05, 29 March 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law 1.0 Storyboard 5.png
- 21:04, 29 March 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law 1.0 Storyboard 4.png
- 21:03, 29 March 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law 1.0 Storyboard 3.png
- 21:02, 29 March 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law 1.0 Storyboard 2.png
- 21:01, 29 March 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law 1.0 Storyboard 1.png
- 20:52, 29 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Band QED.png
- 20:50, 29 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Band Delete p.png
- 20:48, 29 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Band Cancel (( )).png
- 20:46, 29 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Band Quit ((q)).png
- 20:44, 29 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Band Collect p.png
- 19:40, 29 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Q E D.png
- 19:38, 29 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Delete p.png
- 19:36, 29 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Quit ((q)).png
- 19:34, 29 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Collect p.png
- 19:32, 29 March 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law 1.0 Banner Title.png
- 19:30, 29 March 2010 Jon Awbrey talk contribs uploaded File:Peirce's Law 1.0 Splash Page.png
- 05:48, 28 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference QED.png
- 05:44, 28 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference I2 Cancel (( )).png
- 05:42, 28 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference J1 Delete ((a)).png
- 05:40, 28 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference J2 Collect a.png
- 05:38, 28 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference J1 Insert a.png
- 05:36, 28 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference J1 Delete (a).png
- 05:34, 28 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference J2 Distribute ((a)).png
- 05:32, 28 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference J1 Insert (a).png
- 05:32, 28 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference I2 Elicit (( )).png
- 05:30, 28 March 2010 Jon Awbrey talk contribs uploaded File:Double Negation 1.0 Splash Page.png
- 05:30, 28 March 2010 Jon Awbrey talk contribs uploaded File:Double Negation 1.0 Banner Title.png
- 03:29, 28 March 2010 Jon Awbrey talk contribs uploaded File:Double Negation 1.0 Storyboard 9.png
- 03:28, 28 March 2010 Jon Awbrey talk contribs uploaded File:Double Negation 1.0 Storyboard 8.png
- 03:27, 28 March 2010 Jon Awbrey talk contribs uploaded File:Double Negation 1.0 Storyboard 7.png
- 03:26, 28 March 2010 Jon Awbrey talk contribs uploaded File:Double Negation 1.0 Storyboard 6.png
- 03:25, 28 March 2010 Jon Awbrey talk contribs uploaded File:Double Negation 1.0 Storyboard 5.png
- 03:24, 28 March 2010 Jon Awbrey talk contribs uploaded File:Double Negation 1.0 Storyboard 4.png
- 03:23, 28 March 2010 Jon Awbrey talk contribs uploaded File:Double Negation 1.0 Storyboard 3.png
- 03:22, 28 March 2010 Jon Awbrey talk contribs uploaded File:Double Negation 1.0 Storyboard 2.png
- 03:21, 28 March 2010 Jon Awbrey talk contribs uploaded File:Double Negation 1.0 Storyboard 1.png
- 03:14, 28 March 2010 Jon Awbrey talk contribs uploaded File:Double Negation 1.0 Storyboard 3.png
- 03:13, 28 March 2010 Jon Awbrey talk contribs uploaded File:Double Negation 1.0 Storyboard 2.png
- 03:11, 28 March 2010 Jon Awbrey talk contribs uploaded File:Double Negation 1.0 Storyboard 1.png
- 00:44, 28 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference QED.png
- 00:42, 28 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference I2 Cancel (( )).png
- 00:42, 28 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference J1 Delete ((a)).png
- 00:38, 28 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference J1 Delete (a).png
- 00:36, 28 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference J2 Distribute ((a)).png
- 00:36, 28 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference J1 Insert (a).png
- 00:32, 28 March 2010 Jon Awbrey talk contribs uploaded File:Double Negation 1.0 Banner Title.png
- 00:29, 28 March 2010 Jon Awbrey talk contribs uploaded File:Double Negation 1.0 Banner Title.png
- 23:42, 27 March 2010 Jon Awbrey talk contribs uploaded File:Double Negation 1.0 Splash Page.png
- 17:13, 27 March 2010 Jon Awbrey talk contribs uploaded File:Dominant Form 2.0 Frame 3.png
- 17:12, 27 March 2010 Jon Awbrey talk contribs uploaded File:Dominant Form 2.0 Frame 2.png
- 17:11, 27 March 2010 Jon Awbrey talk contribs uploaded File:Dominant Form 2.0 Frame 1.png
- 17:10, 27 March 2010 Jon Awbrey talk contribs uploaded File:Dominant Form 2.0 Animation.gif
- 06:44, 27 March 2010 Jon Awbrey talk contribs uploaded File:Dominant Form 1.0 Storyboard 3.png
- 06:42, 27 March 2010 Jon Awbrey talk contribs uploaded File:Dominant Form 1.0 Storyboard 2.png
- 06:40, 27 March 2010 Jon Awbrey talk contribs uploaded File:Dominant Form 1.0 Storyboard 1.png
- 06:36, 27 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference J1 Delete a.png
- 06:34, 27 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference C2 Regenerate a.png
- 06:34, 27 March 2010 Jon Awbrey talk contribs uploaded File:Dominant Form 1.0 Banner Title.png
- 06:32, 27 March 2010 Jon Awbrey talk contribs uploaded File:Dominant Form 1.0 Splash Page.png
- 06:30, 27 March 2010 Jon Awbrey talk contribs uploaded File:Generation Theorem 1.0 Banner Title.png
- 19:12, 26 March 2010 Jon Awbrey talk contribs uploaded File:Generation Theorem 1.0 Storyboard 6.png
- 19:12, 26 March 2010 Jon Awbrey talk contribs uploaded File:Generation Theorem 1.0 Storyboard 5.png
- 19:11, 26 March 2010 Jon Awbrey talk contribs uploaded File:Generation Theorem 1.0 Storyboard 4.png
- 19:11, 26 March 2010 Jon Awbrey talk contribs uploaded File:Generation Theorem 1.0 Storyboard 3.png
- 19:10, 26 March 2010 Jon Awbrey talk contribs uploaded File:Generation Theorem 1.0 Storyboard 2.png
- 19:09, 26 March 2010 Jon Awbrey talk contribs uploaded File:Generation Theorem 1.0 Storyboard 1.png
- 18:41, 26 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Banner QED.png
- 18:40, 26 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference C1 Reflect a, b.png
- 18:38, 26 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference J2 Collect a.png
- 18:36, 26 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference J1 Insert a.png
- 18:34, 26 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference I2 Elicit (( )).png
- 18:32, 26 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference C1 Reflect a(b).png
- 18:31, 26 March 2010 Jon Awbrey talk contribs uploaded File:Generation Theorem 1.0 Splash Page.png
- 18:30, 26 March 2010 Jon Awbrey talk contribs uploaded File:Generation Theorem Banner Title.png
- 05:50, 26 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference QED.png
- 05:50, 26 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Delete a, b, c.png
- 05:48, 26 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Weed ab, ac, bc.png
- 05:48, 26 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Cancel (( )).png
- 05:46, 26 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Quit (a), (b), (c).png
- 05:46, 26 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Collect ab, ac, bc.png
- 05:45, 26 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Distribute (abc).png
- 05:44, 26 March 2010 Jon Awbrey talk contribs uploaded File:Equational Inference Reflect ab, ac, bc.png
- 05:44, 26 March 2010 Jon Awbrey talk contribs uploaded File:Majority Function Example Proof 1 Title.png
- 00:06, 26 March 2010 Jon Awbrey talk contribs uploaded File:Generation Theorem 2.0 Frame 6.png
- 00:05, 26 March 2010 Jon Awbrey talk contribs uploaded File:Generation Theorem 2.0 Frame 5.png
- 00:04, 26 March 2010 Jon Awbrey talk contribs uploaded File:Generation Theorem 2.0 Frame 4.png
- 00:03, 26 March 2010 Jon Awbrey talk contribs uploaded File:Generation Theorem 2.0 Frame 3.png
- 00:02, 26 March 2010 Jon Awbrey talk contribs uploaded File:Generation Theorem 2.0 Frame 2.png
- 00:01, 26 March 2010 Jon Awbrey talk contribs uploaded File:Generation Theorem 2.0 Frame 1.png
- 00:00, 26 March 2010 Jon Awbrey talk contribs uploaded File:Generation Theorem 2.0 Animation.gif
- 02:56, 25 March 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema CAST 500 x 389 Animation.gif
- 02:40, 25 March 2010 Jon Awbrey talk contribs uploaded File:Two-Thirds Majority Function 500 x 250 Animation.gif
- 17:40, 24 March 2010 Jon Awbrey talk contribs uploaded File:Double Negation 2.0 Animation.gif
- 17:39, 24 March 2010 Jon Awbrey talk contribs uploaded File:Double Negation 2.0 Frame 9.png
- 17:38, 24 March 2010 Jon Awbrey talk contribs uploaded File:Double Negation 2.0 Frame 8.png
- 17:37, 24 March 2010 Jon Awbrey talk contribs uploaded File:Double Negation 2.0 Frame 7.png
- 17:36, 24 March 2010 Jon Awbrey talk contribs uploaded File:Double Negation 2.0 Frame 6.png
- 17:35, 24 March 2010 Jon Awbrey talk contribs uploaded File:Double Negation 2.0 Frame 5.png
- 17:34, 24 March 2010 Jon Awbrey talk contribs uploaded File:Double Negation 2.0 Frame 4.png
- 17:33, 24 March 2010 Jon Awbrey talk contribs uploaded File:Double Negation 2.0 Frame 3.png
- 17:32, 24 March 2010 Jon Awbrey talk contribs uploaded File:Double Negation 2.0 Frame 2.png
- 17:31, 24 March 2010 Jon Awbrey talk contribs uploaded File:Double Negation 2.0 Frame 1.png
- 05:54, 22 March 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema CAST 2.0 Animation.gif
- 05:53, 22 March 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema CAST 2.0 Frame 01.png
- 05:52, 22 March 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema CAST 2.0 Frame 02.png
- 05:52, 22 March 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema CAST 2.0 Frame 03.png
- 05:52, 22 March 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema CAST 2.0 Frame 04.png
- 05:52, 22 March 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema CAST 2.0 Frame 05.png
- 05:51, 22 March 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema CAST 2.0 Frame 06.png
- 05:51, 22 March 2010 Jon Awbrey talk contribs uploaded File:Praeclarum Theorema CAST 2.0 Frame 07.png