This directory contains some demonstration eXene applications
The applications in this directory are more substantial
than those in the examples directory.  In fact, they are,
in some sense, real applications.

Currently, the only demo is Tim Griffin and Rod Moten's
tactic-based proof tree editor.

