Commit Graph

7 Commits

Author SHA1 Message Date
Robin Clark
365c790459 more polishing 2013-09-25 17:58:45 +01:00
7281c3ba4c added citations to support spider
diagrams as logic and theorem proving tools
2013-08-12 14:48:13 +01:00
Robin Clark
6c3469c27b Got a printer, things moving alot quicker now 2012-12-29 19:05:28 +00:00
Robin Clark
be339784b7 cited surjection... whoopy doop 2012-05-12 11:05:13 +01:00
d3ba235571 . 2010-08-17 21:10:26 +01:00
72ec87fe21 .:wq 2010-08-15 21:07:41 +01:00
robin
1292fd1bd6 Initial commit 2010-01-08 21:17:59 +00:00