User contributions
28 March 2010
Logical graph
Frequently used theorems: break up monolithic storyboard into components
+1,185
File:Double Negation 1.0 Storyboard 9.png
no edit summary
File:Double Negation 1.0 Storyboard 8.png
no edit summary
File:Double Negation 1.0 Storyboard 7.png
no edit summary
File:Double Negation 1.0 Storyboard 6.png
no edit summary
File:Double Negation 1.0 Storyboard 5.png
no edit summary
File:Double Negation 1.0 Storyboard 4.png
no edit summary
File:Double Negation 1.0 Storyboard 3.png
no edit summary
File:Double Negation 1.0 Storyboard 2.png
no edit summary
File:Double Negation 1.0 Storyboard 1.png
no edit summary
File:Equational Inference I2 Cancel (( )).png
no edit summary
File:Equational Inference J1 Delete ((a)).png
no edit summary
File:Equational Inference J1 Delete (a).png
no edit summary
File:Equational Inference J2 Distribute ((a)).png
no edit summary
File:Equational Inference J1 Insert (a).png
no edit summary
File:Double Negation 1.0 Banner Title.png
no edit summary
27 March 2010
File:Double Negation 1.0 Splash Page.png
no edit summary
Logical graph
Document history: + knol versions
+208
Logical graph
renumber figures
Logical graph
Frequently used theorems: + animation
+345
File:Dominant Form 2.0 Frame 3.png
no edit summary
File:Dominant Form 2.0 Frame 2.png
no edit summary
File:Dominant Form 2.0 Frame 1.png
no edit summary
File:Dominant Form 2.0 Animation.gif
no edit summary
File:Dominant Form 1.0 Storyboard 3.png
no edit summary
File:Dominant Form 1.0 Storyboard 2.png
no edit summary
File:Dominant Form 1.0 Storyboard 1.png
no edit summary
File:Equational Inference J1 Delete a.png
no edit summary
File:Equational Inference C2 Regenerate a.png
no edit summary
File:Dominant Form 1.0 Banner Title.png
no edit summary
File:Dominant Form 1.0 Splash Page.png
no edit summary
File:Generation Theorem 1.0 Banner Title.png
no edit summary
Logical graph
C3. Dominant form theorem: break monolithic storyboard into components
+562
26 March 2010
Logical graph
C<sub>2</sub>. Generation theorem: JPEG ---> PNG
+11
File:Generation Theorem 1.0 Storyboard 6.png
no edit summary
File:Generation Theorem 1.0 Storyboard 5.png
no edit summary
File:Generation Theorem 1.0 Storyboard 4.png
no edit summary
File:Generation Theorem 1.0 Storyboard 3.png
no edit summary
File:Generation Theorem 1.0 Storyboard 2.png
no edit summary
File:Generation Theorem 1.0 Storyboard 1.png
no edit summary
File:Equational Inference Banner QED.png
no edit summary
File:Equational Inference C1 Reflect a, b.png
no edit summary
File:Equational Inference J2 Collect a.png
no edit summary
File:Equational Inference J1 Insert a.png
no edit summary
File:Equational Inference I2 Elicit (( )).png
no edit summary
File:Equational Inference C1 Reflect a(b).png
no edit summary
File:Generation Theorem 1.0 Splash Page.png
no edit summary
File:Generation Theorem Banner Title.png
no edit summary
Logical graph
C2. Generation theorem: break monolithic storyboard into components
+934
File:Equational Inference QED.png
no edit summary