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
removed a space
paige's comments on abstract
small correction in bibtex for MP
bisimilarity instead of bisimulation
replaced bisimulation with the correct term bisimilarity
Merge branch 'master' into ieee