Moved bisimulation to appendix. Changed ref and deref notation for formulae to use quote symbols
Merge branch 'cryptoRedo' of https://github.com/leithaus/GLoSEval into cryptoRedo