Uploads by JonAwbrey

Jump to navigation Jump to search

This special page shows all uploaded files.

File list
First pagePrevious pageNext pageLast page
Date Name Thumbnail Size Description
03:09, 5 May 2010 Equational Inference Band Cancel (( )).png (file) 85 KB  
03:08, 5 May 2010 Equational Inference Band Quit ((q)).png (file) 85 KB  
03:07, 5 May 2010 Equational Inference Band Collect p.png (file) 85 KB  
03:06, 5 May 2010 Peirce's Law 1.0 Storyboard 6.png (file) 166 KB  
03:05, 5 May 2010 Peirce's Law 1.0 Storyboard 5.png (file) 248 KB  
03:04, 5 May 2010 Peirce's Law 1.0 Storyboard 4.png (file) 248 KB  
03:03, 5 May 2010 Peirce's Law 1.0 Storyboard 3.png (file) 329 KB  
03:02, 5 May 2010 Peirce's Law 1.0 Storyboard 2.png (file) 410 KB  
03:01, 5 May 2010 Peirce's Law 1.0 Storyboard 1.png (file) 410 KB  
03:00, 5 May 2010 Peirce's Law 1.0 Marquee Title.png (file) 126 KB  
03:00, 5 May 2010 Peirce's Law 1.0 Splash Page.png (file) 573 KB  
02:48, 5 May 2010 Dominant Form 2.0 Animation.gif (file) 2 KB  
02:45, 5 May 2010 Equational Inference J1 Delete a.png (file) 85 KB  
02:44, 5 May 2010 Equational Inference C2 Regenerate a.png (file) 85 KB  
02:43, 5 May 2010 Dominant Form 1.0 Storyboard 3.png (file) 248 KB  
02:42, 5 May 2010 Dominant Form 1.0 Storyboard 2.png (file) 248 KB  
02:41, 5 May 2010 Dominant Form 1.0 Storyboard 1.png (file) 248 KB  
02:41, 5 May 2010 Dominant Form 1.0 Marquee Title.png (file) 126 KB  
02:40, 5 May 2010 Dominant Form 1.0 Splash Page.png (file) 492 KB  
02:18, 5 May 2010 Generation Theorem 2.0 Animation.gif (file) 5 KB  
02:17, 5 May 2010 Equational Inference C1 Reflect a, b.png (file) 85 KB  
02:16, 5 May 2010 Equational Inference C1 Reflect a(b).png (file) 85 KB  
02:16, 5 May 2010 Generation Theorem 1.0 Storyboard 6.png (file) 248 KB  
02:15, 5 May 2010 Generation Theorem 1.0 Storyboard 5.png (file) 410 KB  
02:14, 5 May 2010 Generation Theorem 1.0 Storyboard 4.png (file) 410 KB  
02:13, 5 May 2010 Generation Theorem 1.0 Storyboard 3.png (file) 410 KB  
02:13, 5 May 2010 Generation Theorem 1.0 Storyboard 2.png (file) 410 KB  
02:12, 5 May 2010 Generation Theorem 1.0 Storyboard 1.png (file) 248 KB  
02:11, 5 May 2010 Generation Theorem 1.0 Marquee Title.png (file) 126 KB  
02:10, 5 May 2010 Generation Theorem 1.0 Splash Page.png (file) 492 KB  
23:54, 4 May 2010 Double Negation 2.0 Animation.gif (file) 10 KB  
23:53, 4 May 2010 Equational Inference Marquee QED.png (file) 126 KB  
23:52, 4 May 2010 Equational Inference I2 Cancel (( )).png (file) 85 KB  
23:51, 4 May 2010 Equational Inference J1 Delete ((a)).png (file) 85 KB  
23:51, 4 May 2010 Equational Inference J2 Collect a.png (file) 85 KB  
23:51, 4 May 2010 Equational Inference J1 Insert a.png (file) 85 KB  
23:49, 4 May 2010 Equational Inference J2 Distribute ((a)).png (file) 85 KB  
23:48, 4 May 2010 Equational Inference J1 Delete (a).png (file) 85 KB  
23:47, 4 May 2010 Equational Inference J1 Insert (a).png (file) 85 KB  
23:47, 4 May 2010 Equational Inference I2 Elicit (( )).png (file) 85 KB  
23:46, 4 May 2010 Double Negation 1.0 Storyboard 9.png (file) 248 KB  
23:46, 4 May 2010 Double Negation 1.0 Storyboard 8.png (file) 329 KB  
23:45, 4 May 2010 Double Negation 1.0 Storyboard 7.png (file) 492 KB  
23:44, 4 May 2010 Double Negation 1.0 Storyboard 6.png (file) 492 KB  
23:44, 4 May 2010 Double Negation 1.0 Storyboard 5.png (file) 492 KB  
23:43, 4 May 2010 Double Negation 1.0 Storyboard 4.png (file) 492 KB  
23:43, 4 May 2010 Double Negation 1.0 Storyboard 3.png (file) 410 KB  
23:42, 4 May 2010 Double Negation 1.0 Storyboard 2.png (file) 329 KB  
23:42, 4 May 2010 Double Negation 1.0 Storyboard 1.png (file) 329 KB  
23:40, 4 May 2010 Double Negation 1.0 Marquee Title.png (file) 126 KB  
First pagePrevious pageNext pageLast page