added prj website ref
corr R till p3
corr R till sec3
last corrs R
fix typos
renamed nat trans in strong monoidal functor
changed def of cut slightly to be more conceptual
clarified example, setoid vs set
emphasized bisim univ property
started ext abstract
more in short
finished first draft of short
reorg short
shorter
leave out some detail
update README
removed obsolete coq code
removed obsolete stuff
added link to arxiv
mini changes to extended abstract