1
2 Tools: generic tools outside of Pure
3
4 This directory contains ML sources of generic tools. Typically, they
5 can be applied to various logics.
6
7
8 $Id$