wenzelm@23147: 
wenzelm@23147:                  Tools: generic tools outside of Pure
wenzelm@23147: 
wenzelm@23147: This directory contains ML sources of generic tools.  Typically, they
wenzelm@23147: can be applied to various logics.
wenzelm@23147: 
wenzelm@23147: 
wenzelm@23147: $Id$