progress on proving the equivalence between to defintions of similarity between two relations
Merge branch 'master' into imp
finished homework for week 2
imp cont
a small step on proving ceval_deterministic
Merge branch 'imp'
Merge branch 'progfun'