add new formalism
git-svn-id: svn+ssh://hemlock.ucr.edu/srv/svn/misc/trunk/origins_of_life@286
25fa0111-c432-4dab-af88-
9f31a2f6ac42
update formalism
git-svn-id: svn+ssh://hemlock.ucr.edu/srv/svn/misc/trunk/origins_of_life@264
25fa0111-c432-4dab-af88-
9f31a2f6ac42
add formalism and new formalism
git-svn-id: svn+ssh://hemlock.ucr.edu/srv/svn/misc/trunk/origins_of_life@261
25fa0111-c432-4dab-af88-
9f31a2f6ac42