---------------------------------------------------------------------
TOM - To One Matching Compiler
---------------------------------------------------------------------


  What is it?
  -----------

  Tom is a pattern matching compiler, developed at INRIA. It is
  particularly well-suited for programming various transformations on
  trees/terms.

  The Latest Version
  ------------------

  Details of the latest version can be found on the Tom Project
  web site <http://tom.loria.fr/>.


  Documentation
  -------------

  Documentation is available in PDF format in the doc/ directory.
  The HTML version is available at <http://tom.loria.fr/>

  Licensing
  ---------

  The Tom compiler is licensed under the GNU General Public License
  (GNU GPL, available at <http://www.gnu.org/licenses/>).

  The predefined mappings ($TOM_HOME/share/tom), the runtime library,
  and the examples are licensed under the BSD License
  (available at <http://www.opensource.org/licenses/bsd-license.php>).

  Thanks for using Tom.

         The Tom Project
         <http://tom.loria.fr/>
