svn - Revision 8862: /classes/6.891/ps5

• ..
• eq-prop.scm
• instantiator.scm
• load.scm
• matcher.scm
• ps.txt
• ps5.scm
• rule-compiler.scm
• rule-simplifier.scm
• rules.scm