| Wed, 23 Mar 2011 12:17:30 +0000 | urbanc | added the most current versions of the theories. | file | diff | annotate |
| Thu, 17 Feb 2011 11:42:16 +0000 | urbanc | completed first direction | file | diff | annotate |
| Wed, 16 Feb 2011 12:25:53 +0000 | urbanc | minor updated | file | diff | annotate |