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

[Last updated: Wed Jul  2 16:49:54 CEST 2014]

This example was merged with demo_02 in January 2014. This directory is left
temporarily empty.