changed countably infinite to computably enumerable
merged from origin
Completed task in TODO.
Merge branch 'master' into paperversion
Merge branch 'graphproperty' of github.com:jfinkels/equivalence into graphproperty
Merge branch 'master' into graphproperty
Merge branch 'master' into paperversion
Added poster abstract
Added first draft of poster corresponding to the article.
Added task to TODO.
Added task to TODO: don't use a TODO file, use GitHub's Issues interface.
Added note that tkz-graph must be downloaded manually.
Added TODO for poster files.
Changed problems of equivalence to equivalence relations.
Added copyright and webpage to footer.
Changed a section header and added references.
Added compilation script.
Added task to TODO.
Created larger arrow heads for the graph.
Merge branch 'master' into poster