Isabelle/Circus --- A process specification and verification environment 
========================================================================

Copyright (c) 2011-2012 Univ. Paris-Sud / LRI

All rights reserved.

This software is distributed under BSD License.
