Removed examples/alg/.
Merge branch 'master' of git://github.com/kframework/k
modified the definition from examples/prog-equiv.
Merge branch 'master' of git://github.com/kframework/k