| Wed, 18 May 2011 19:54:43 +0000 | urbanc | added directory for journal version; took uptodate version of the theory files | file | diff | annotate |
| Wed, 23 Mar 2011 12:17:30 +0000 | urbanc | added the most current versions of the theories. | file | diff | annotate |