-- CADP (CONSTRUCTION AND ANALYSIS OF DISTRIBUTED PROCESSES)
-- http://cadp.inria.fr

[Last updated: Wed Jul  2 16:48:59 CEST 2014]

This example was merged with demo_14 in July 2014. This directory is left
temporarily empty.