;; http://theory.lcs.mit.edu/classes/6.844/submodel/README

                                                           March 27, 2005
This directory contains files:


MITSCHEME-LOADSM.SCM -- To run the the Scheme Substitution Model
                        interpreter described in SM.SCM, evaluate this
                        file in a directory containing MATCH.SCM and
                        SM.SCM, using MIT Scheme.

DRSCHEME-LOADSM.SCM  -- To run the Scheme "Substitution Model" interpreter
                        described in SM.SCM, evaluate this file in a
                        directory containing MATCH.SCM and SM.SCM, using 
                        Rice U. DrScheme.

OTHER-LOADSM.SCM --     To run the Scheme "Substitution Model" interpreter
                        described in SM.SCM using a Scheme implementation
                        other than MIT Scheme or DrScheme, FILL IN THE
                        BLANKS appropriate to the implementation, and
                        then evaluate this file in a directory containing
                        MATCH.SCM and SM.SCM

SM.SCM -- A Scheme Substitution Model interpreter based on
          pattern-matching rewrite rules.  This file begins with a brief
          intro to the Scheme Substitution Model, with instructions for
          running the interpreter.
          
MATCH.SCM -- code for pattern matching with "context variables," as
             explained at the beginning of the file.

TEST-SUBMODEL.SCM -- Sample expressions to evaluate in the Substitution Model.

ELIZA.SCM -- code for a minimal "doctor" dialog program.  Illustrates use
             of "tilde" variables which match any number of items in a
             list.  Load "match.scm" before evaluating this file.
   

DERIV-SIMPLIFY-RULES.SCM -- code for simplifying arithmetic expressions
                            with simple derivatives, as explained at the
                            beginning of the file.  Load "match.scm"
                            before evaluating this file.