An implementation of the proofs in

A Symmetric Modal Lambda Calculus for Distributed Computing
Tom Murphy, Karl Crary, Robert Harper, and Frank Pfenning.
Proceedings of the 19th Symposium on Logic in Computer Science (LICS'04),
Turku, Finland, July 2004.
Extended version available as Technical Report CMU-CS-04-105.

using the Twelf meta-logical framework (see http://www.twelf.org/).
