![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| algebra-rules.scm | 2016-12-16 06:31 | 5.8K | |
| compare.scm | 2016-12-16 06:31 | 1.0K | |
| eq-prop.scm | 2016-12-16 06:31 | 1.4K | |
| expressions.scm | 2016-12-16 06:31 | 2.6K | |
| instantiator.scm | 2016-12-16 06:31 | 4.1K | |
| load.scm | 2016-12-16 06:31 | 262 | |
| matcher.scm | 2016-12-16 06:31 | 6.7K | |
| ps05.scm | 2016-12-16 06:31 | 12K | |
| ps05.scm.html | 2016-12-16 06:31 | 61K | |
| rule-compiler.scm | 2016-12-16 06:31 | 7.7K | |
| rule-simplifier.scm | 2016-12-16 06:31 | 2.4K | |
| semantic.scm | 2016-12-16 06:31 | 9.8K | |
| simplifier.scm | 2016-12-16 06:31 | 828 | |
| specialists.scm | 2016-12-16 06:31 | 1.7K | |
| unify.scm | 2016-12-16 06:31 | 2.4K | |
| utils.scm | 2016-12-16 06:31 | 1.6K | |