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

[Last updated: Wed Dec 15 16:30:57 CET 2021]

This example was merged with demo_08 in December 2021. This directory is left
temporarily empty.