 |
|
|
|
.. (parent) |
 |
- |
rw-r--r-- |
241 |
assoc-is-hons-assoc%40useless-runes.lsp
|
|
- |
rw-r--r-- |
187,505 |
bindinglist%40useless-runes.lsp
|
|
- |
rw-r--r-- |
200,530 |
congruence%40useless-runes.lsp
|
|
- |
rw-r--r-- |
432 |
def-formula-checks%40useless-runes.lsp
|
|
- |
rw-r--r-- |
47,230 |
equivalence%40useless-runes.lsp
|
|
- |
rw-r--r-- |
28,829 |
flatten-clause%40useless-runes.lsp
|
|
- |
rw-r--r-- |
41,852 |
lambda-measure%40useless-runes.lsp
|
|
- |
rw-r--r-- |
163,031 |
let-abs%40useless-runes.lsp
|
|
- |
rw-r--r-- |
85,041 |
parse-rewrite%40useless-runes.lsp
|
|
- |
rw-r--r-- |
0 |
portcullis%40useless-runes.lsp
|
|
- |
rw-r--r-- |
3,887 |
pseudo-rewrite-rule%40useless-runes.lsp
|
|
- |
rw-r--r-- |
1,742 |
reconstruct%40useless-runes.lsp
|
|
- |
rw-r--r-- |
20,663 |
replace%40useless-runes.lsp
|
|
- |
rw-r--r-- |
44,305 |
resolve-flag-cp%40useless-runes.lsp
|
|
- |
rw-r--r-- |
22,076 |
subst%40useless-runes.lsp
|
|
- |
rw-r--r-- |
31,948 |
substitute%40useless-runes.lsp
|
|
- |
rw-r--r-- |
34,986 |
term-vars%40useless-runes.lsp
|
|
- |
rw-r--r-- |
36,882 |
unify-strict%40useless-runes.lsp
|
|
- |
rw-r--r-- |
83,124 |
urewrite%40useless-runes.lsp
|
|
- |
rw-r--r-- |
5,988 |
variable-free%40useless-runes.lsp
|
|
- |
rw-r--r-- |
1,213 |
world-equiv%40useless-runes.lsp
|
