isabelle: src/Tools/README@9e2a65912111 (annotated)

23147 a5db2f7d7654 Tools: generic tools outside of Pure. wenzelm parents: diff changeset	1
a5db2f7d7654 Tools: generic tools outside of Pure. wenzelm parents: diff changeset	2	Tools: generic tools outside of Pure
a5db2f7d7654 Tools: generic tools outside of Pure. wenzelm parents: diff changeset	3
a5db2f7d7654 Tools: generic tools outside of Pure. wenzelm parents: diff changeset	4	This directory contains ML sources of generic tools. Typically, they
a5db2f7d7654 Tools: generic tools outside of Pure. wenzelm parents: diff changeset	5	can be applied to various logics.
a5db2f7d7654 Tools: generic tools outside of Pure. wenzelm parents: diff changeset	6