src/Tools/README

observe some Isabelle/ML coding conventions;
avoid structure alias FT, which would complicate systematic searches unnecessarily;

                 Tools: generic tools outside of Pure

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


$Id$