User contributions for JonAwbrey
Jump to navigation
Jump to search
5 May 2010
- 02:1602:16, 5 May 2010 diff hist 0 N File:Equational Inference C1 Reflect a(b).png No edit summary current
- 02:1602:16, 5 May 2010 diff hist 0 N File:Generation Theorem 1.0 Storyboard 6.png No edit summary current
- 02:1502:15, 5 May 2010 diff hist 0 N File:Generation Theorem 1.0 Storyboard 5.png No edit summary current
- 02:1402:14, 5 May 2010 diff hist 0 N File:Generation Theorem 1.0 Storyboard 4.png No edit summary current
- 02:1302:13, 5 May 2010 diff hist 0 N File:Generation Theorem 1.0 Storyboard 3.png No edit summary current
- 02:1302:13, 5 May 2010 diff hist 0 N File:Generation Theorem 1.0 Storyboard 2.png No edit summary current
- 02:1202:12, 5 May 2010 diff hist 0 N File:Generation Theorem 1.0 Storyboard 1.png No edit summary current
- 02:1102:11, 5 May 2010 diff hist 0 N File:Generation Theorem 1.0 Marquee Title.png No edit summary current
- 02:1002:10, 5 May 2010 diff hist 0 N File:Generation Theorem 1.0 Splash Page.png No edit summary current
.png&oldid=37620){kind=link}
.png&action=history){kind=link}
.png){kind=link}
4 May 2010
- 23:5423:54, 4 May 2010 diff hist 0 N File:Double Negation 2.0 Animation.gif No edit summary current
- 23:5323:53, 4 May 2010 diff hist 0 N File:Equational Inference Marquee QED.png No edit summary current
- 23:5223:52, 4 May 2010 diff hist 0 N File:Equational Inference I2 Cancel (( )).png No edit summary current
- 23:5123:51, 4 May 2010 diff hist 0 N File:Equational Inference J1 Delete ((a)).png No edit summary current
- 23:5123:51, 4 May 2010 diff hist 0 N File:Equational Inference J2 Collect a.png No edit summary current
- 23:5123:51, 4 May 2010 diff hist 0 N File:Equational Inference J1 Insert a.png No edit summary current
- 23:4923:49, 4 May 2010 diff hist 0 N File:Equational Inference J2 Distribute ((a)).png No edit summary current
- 23:4823:48, 4 May 2010 diff hist 0 N File:Equational Inference J1 Delete (a).png No edit summary current
- 23:4723:47, 4 May 2010 diff hist 0 N File:Equational Inference J1 Insert (a).png No edit summary current
- 23:4723:47, 4 May 2010 diff hist 0 N File:Equational Inference I2 Elicit (( )).png No edit summary current
- 23:4623:46, 4 May 2010 diff hist 0 N File:Double Negation 1.0 Storyboard 9.png No edit summary current
- 23:4623:46, 4 May 2010 diff hist 0 N File:Double Negation 1.0 Storyboard 8.png No edit summary current
- 23:4523:45, 4 May 2010 diff hist 0 N File:Double Negation 1.0 Storyboard 7.png No edit summary current
- 23:4423:44, 4 May 2010 diff hist 0 N File:Double Negation 1.0 Storyboard 6.png No edit summary current
- 23:4423:44, 4 May 2010 diff hist 0 N File:Double Negation 1.0 Storyboard 5.png No edit summary current
- 23:4323:43, 4 May 2010 diff hist 0 N File:Double Negation 1.0 Storyboard 4.png No edit summary current
- 23:4323:43, 4 May 2010 diff hist 0 N File:Double Negation 1.0 Storyboard 3.png No edit summary current
- 23:4223:42, 4 May 2010 diff hist 0 N File:Double Negation 1.0 Storyboard 2.png No edit summary current
- 23:4223:42, 4 May 2010 diff hist 0 N File:Double Negation 1.0 Storyboard 1.png No edit summary current
- 23:4023:40, 4 May 2010 diff hist 0 N File:Double Negation 1.0 Marquee Title.png No edit summary current
- 23:4023:40, 4 May 2010 diff hist 0 N File:Double Negation 1.0 Splash Page.png No edit summary current
- 23:3823:38, 4 May 2010 diff hist 0 N File:Logical Graph Figure 23.jpg No edit summary current
- 23:3623:36, 4 May 2010 diff hist 0 N File:Logical Graph Figure 22.jpg No edit summary current
- 23:3523:35, 4 May 2010 diff hist 0 N File:Logical Graph Figure 21.jpg No edit summary current
- 23:3423:34, 4 May 2010 diff hist 0 N File:Logical Graph Figure 20.jpg No edit summary current
- 23:3423:34, 4 May 2010 diff hist 0 N File:Logical Graph Figure 19.jpg No edit summary current
- 23:3323:33, 4 May 2010 diff hist 0 N File:Logical Graph Figure 18.jpg No edit summary current
- 23:3223:32, 4 May 2010 diff hist 0 N File:Logical Graph Figure 17.jpg No edit summary current
- 23:3223:32, 4 May 2010 diff hist 0 N File:Logical Graph Figure 16.jpg No edit summary current
- 23:3023:30, 4 May 2010 diff hist 0 N File:Rooted Edge.jpg No edit summary current
- 23:3023:30, 4 May 2010 diff hist 0 N File:Rooted Node.jpg No edit summary current
- 23:2623:26, 4 May 2010 diff hist 0 N File:Logical Graph Figure 15 Banner.jpg No edit summary current
- 23:2523:25, 4 May 2010 diff hist 0 N File:Logical Graph Figure 14 Banner.jpg No edit summary current
- 23:2023:20, 4 May 2010 diff hist 0 N File:Logical Graph Figure 13 Visible Frame.jpg No edit summary current
- 23:1923:19, 4 May 2010 diff hist 0 N File:Logical Graph Figure 12 Visible Frame.jpg No edit summary current
- 23:1823:18, 4 May 2010 diff hist 0 N File:Logical Graph Figure 11 Visible Frame.jpg No edit summary current
- 23:1723:17, 4 May 2010 diff hist 0 N File:Logical Graph Figure 10 Visible Frame.jpg No edit summary current
- 23:1723:17, 4 May 2010 diff hist 0 N File:Logical Graph Figure 9 Visible Frame.jpg No edit summary current
- 23:1623:16, 4 May 2010 diff hist 0 N File:Logical Graph Figure 8 Visible Frame.jpg No edit summary current
- 23:1523:15, 4 May 2010 diff hist 0 N File:Logical Graph Figure 7 Visible Frame.jpg No edit summary current
- 23:1423:14, 4 May 2010 diff hist 0 N File:Logical Graph Figure 6 Visible Frame.jpg No edit summary current
).png&oldid=37609){kind=link}
).png&action=history){kind=link}
).png){kind=link}
).png&oldid=37608){kind=link}
).png&action=history){kind=link}
).png){kind=link}
).png&oldid=37605){kind=link}
).png&action=history){kind=link}
).png){kind=link}
.png&oldid=37604){kind=link}
.png&action=history){kind=link}
.png){kind=link}
.png&oldid=37603){kind=link}
.png&action=history){kind=link}
.png){kind=link}
).png&oldid=37602){kind=link}
).png&action=history){kind=link}
).png){kind=link}
