
                 Tools: generic tools outside of Pure

This directory contains ML sources of generic tools.  Typically, they
can be applied to various logics.


$Id: README,v 1.4 2007/05/31 10:59:31 wenzelm Exp $
