Tools: generic tools outside of Pure.
authorwenzelm
Thu May 31 12:59:31 2007 +0200 (2007-05-31)
changeset 23147a5db2f7d7654
parent 23146 0bc590051d95
child 23148 ef3fa1386102
Tools: generic tools outside of Pure.
src/Tools/README
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Tools/README	Thu May 31 12:59:31 2007 +0200
     1.3 @@ -0,0 +1,8 @@
     1.4 +
     1.5 +                 Tools: generic tools outside of Pure
     1.6 +
     1.7 +This directory contains ML sources of generic tools.  Typically, they
     1.8 +can be applied to various logics.
     1.9 +
    1.10 +
    1.11 +$Id$