more
more
the rule needs to be called "Acyclic", otherwise there's a real dissonance with bisimilar
step -> phase
more edits
more
moved around
introduces \Var notation and made it consistent with \Val (although I'm open-minded here)
more
more
more
more edits
Merge branch 'master' of github.com:ajreynol/CoDatatypeDP

Conflicts:
	tex/codatadp.tex