User contributions
MyWikiBiz, Author Your Legacy — Friday November 21, 2025
Jump to navigationJump to search- 03:45, 28 March 2010 diff hist +1,185 Logical graph →Frequently used theorems: break up monolithic storyboard into components
- 03:29, 28 March 2010 diff hist 0 N File:Double Negation 1.0 Storyboard 9.png current
- 03:28, 28 March 2010 diff hist 0 N File:Double Negation 1.0 Storyboard 8.png current
- 03:27, 28 March 2010 diff hist 0 N File:Double Negation 1.0 Storyboard 7.png current
- 03:26, 28 March 2010 diff hist 0 N File:Double Negation 1.0 Storyboard 6.png current
- 03:25, 28 March 2010 diff hist 0 N File:Double Negation 1.0 Storyboard 5.png current
- 03:24, 28 March 2010 diff hist 0 N File:Double Negation 1.0 Storyboard 4.png current
- 03:14, 28 March 2010 diff hist 0 N File:Double Negation 1.0 Storyboard 3.png current
- 03:13, 28 March 2010 diff hist 0 N File:Double Negation 1.0 Storyboard 2.png current
- 03:11, 28 March 2010 diff hist 0 N File:Double Negation 1.0 Storyboard 1.png current
- 00:42, 28 March 2010 diff hist 0 N File:Equational Inference I2 Cancel (( )).png current
- 00:42, 28 March 2010 diff hist 0 N File:Equational Inference J1 Delete ((a)).png current
- 00:38, 28 March 2010 diff hist 0 N File:Equational Inference J1 Delete (a).png current
- 00:36, 28 March 2010 diff hist 0 N File:Equational Inference J2 Distribute ((a)).png current
- 00:36, 28 March 2010 diff hist 0 N File:Equational Inference J1 Insert (a).png current
- 00:29, 28 March 2010 diff hist 0 N File:Double Negation 1.0 Banner Title.png current
- 23:42, 27 March 2010 diff hist 0 N File:Double Negation 1.0 Splash Page.png current
- 17:46, 27 March 2010 diff hist +208 Logical graph →Document history: + knol versions
- 17:24, 27 March 2010 diff hist 0 Logical graph renumber figures
- 17:18, 27 March 2010 diff hist +345 Logical graph →Frequently used theorems: + animation
- 17:13, 27 March 2010 diff hist 0 N File:Dominant Form 2.0 Frame 3.png current
- 17:12, 27 March 2010 diff hist 0 N File:Dominant Form 2.0 Frame 2.png current
- 17:11, 27 March 2010 diff hist 0 N File:Dominant Form 2.0 Frame 1.png current
- 17:10, 27 March 2010 diff hist 0 N File:Dominant Form 2.0 Animation.gif current
- 06:44, 27 March 2010 diff hist 0 N File:Dominant Form 1.0 Storyboard 3.png current
- 06:42, 27 March 2010 diff hist 0 N File:Dominant Form 1.0 Storyboard 2.png current
- 06:40, 27 March 2010 diff hist 0 N File:Dominant Form 1.0 Storyboard 1.png current
- 06:36, 27 March 2010 diff hist 0 N File:Equational Inference J1 Delete a.png current
- 06:34, 27 March 2010 diff hist 0 N File:Equational Inference C2 Regenerate a.png current
- 06:34, 27 March 2010 diff hist 0 N File:Dominant Form 1.0 Banner Title.png current
- 06:32, 27 March 2010 diff hist 0 N File:Dominant Form 1.0 Splash Page.png current
- 06:30, 27 March 2010 diff hist 0 N File:Generation Theorem 1.0 Banner Title.png current
- 06:28, 27 March 2010 diff hist +562 Logical graph →C3. Dominant form theorem: break monolithic storyboard into components
- 19:17, 26 March 2010 diff hist +11 Logical graph →C<sub>2</sub>. Generation theorem: JPEG ---> PNG
- 19:12, 26 March 2010 diff hist 0 N File:Generation Theorem 1.0 Storyboard 6.png current
- 19:12, 26 March 2010 diff hist 0 N File:Generation Theorem 1.0 Storyboard 5.png current
- 19:11, 26 March 2010 diff hist 0 N File:Generation Theorem 1.0 Storyboard 4.png current
- 19:11, 26 March 2010 diff hist 0 N File:Generation Theorem 1.0 Storyboard 3.png current
- 19:10, 26 March 2010 diff hist 0 N File:Generation Theorem 1.0 Storyboard 2.png current
- 19:09, 26 March 2010 diff hist 0 N File:Generation Theorem 1.0 Storyboard 1.png current
- 18:41, 26 March 2010 diff hist 0 N File:Equational Inference Banner QED.png current
- 18:40, 26 March 2010 diff hist 0 N File:Equational Inference C1 Reflect a, b.png current
- 18:38, 26 March 2010 diff hist 0 N File:Equational Inference J2 Collect a.png current
- 18:36, 26 March 2010 diff hist 0 N File:Equational Inference J1 Insert a.png current
- 18:34, 26 March 2010 diff hist 0 N File:Equational Inference I2 Elicit (( )).png current
- 18:32, 26 March 2010 diff hist 0 N File:Equational Inference C1 Reflect a(b).png current
- 18:30, 26 March 2010 diff hist 0 N File:Generation Theorem 1.0 Splash Page.png current
- 18:30, 26 March 2010 diff hist 0 N File:Generation Theorem Banner Title.png current
- 18:08, 26 March 2010 diff hist +934 Logical graph →C2. Generation theorem: break monolithic storyboard into components
- 05:50, 26 March 2010 diff hist 0 N File:Equational Inference QED.png current
).png&oldid=114581){kind=link}
).png&action=history){kind=link}
).png){kind=link}
).png&oldid=114580){kind=link}
).png&action=history){kind=link}
).png){kind=link}
.png&oldid=114579){kind=link}
.png&action=history){kind=link}
.png){kind=link}
).png&oldid=114578){kind=link}
).png&action=history){kind=link}
).png){kind=link}
.png&oldid=114577){kind=link}
.png&action=history){kind=link}
.png){kind=link}
).png&oldid=114496){kind=link}
).png&action=history){kind=link}
).png){kind=link}
.png&oldid=114495){kind=link}
.png&action=history){kind=link}
.png){kind=link}
