tweaking the build files.
adding a few more lemmas about multi-memory operations.
Merge branch 'master' of github.com:gmalecha/mirror-shard