 |
|
|
|
.. (parent) |
 |
- |
rw-r--r-- |
0 |
brr-free-variables-book%40useless-runes.lsp
|
|
- |
rw-r--r-- |
0 |
congruent-stobjs-book%40useless-runes.lsp
|
|
- |
rw-r--r-- |
6 |
constants-that-require-modifying-state%40useless-runes.lsp
|
|
- |
rw-r--r-- |
4,625 |
defabsstobj-example-1%40useless-runes.lsp
|
|
- |
rw-r--r-- |
6,511 |
defabsstobj-example-2%40useless-runes.lsp
|
|
- |
rw-r--r-- |
4,152 |
defabsstobj-example-3%40useless-runes.lsp
|
|
- |
rw-r--r-- |
0 |
defabsstobj-example-4-book%40useless-runes.lsp
|
|
- |
rw-r--r-- |
5,752 |
defabsstobj-example-5%40useless-runes.lsp
|
|
- |
rw-r--r-- |
47,280 |
gl-and-use-example%40useless-runes.lsp
|
|
- |
rw-r--r-- |
380 |
knuth-bendix-problem-1%40useless-runes.lsp
|
|
- |
rw-r--r-- |
0 |
ld-history-book%40useless-runes.lsp
|
|
- |
rw-r--r-- |
1,880 |
list-equality-from-nth%40useless-runes.lsp
|
|
- |
rw-r--r-- |
444 |
list-theory%40useless-runes.lsp
|
|
- |
rw-r--r-- |
2,196 |
measure-and-warrant%40useless-runes.lsp
|
|
- |
rw-r--r-- |
0 |
memoize-invoke-book%40useless-runes.lsp
|
|
- |
rw-r--r-- |
0 |
memoize-partial-book%40useless-runes.lsp
|
|
- |
rw-r--r-- |
14,495 |
meta-wf-guarantee-example%40useless-runes.lsp
|
|
- |
rw-r--r-- |
0 |
mini-proveall-book%40useless-runes.lsp
|
|
- |
rw-r--r-- |
1,716 |
nth-update-nth-meta-extract%40useless-runes.lsp
|
|
- |
rw-r--r-- |
94 |
partial-encapsulate-support%40useless-runes.lsp
|
|
- |
rw-r--r-- |
10 |
partial-encapsulate%40useless-runes.lsp
|
|
- |
rw-r--r-- |
6,889 |
patterned-congruences%40useless-runes.lsp
|
|
- |
rw-r--r-- |
28 |
register-invariant-risk-support%40useless-runes.lsp
|
|
- |
rw-r--r-- |
0 |
register-invariant-risk%40useless-runes.lsp
|
|
- |
rw-r--r-- |
17,455 |
rewrite-quoted-constant-examples-lemmas%40useless-runes.lsp
|
|
- |
rw-r--r-- |
1,809 |
rewrite-quoted-constant-examples%40useless-runes.lsp
|
|
- |
rw-r--r-- |
12,112 |
sort-by-car-support%40useless-runes.lsp
|
|
- |
rw-r--r-- |
2,854 |
sort-by-car%40useless-runes.lsp
|
|
- |
rw-r--r-- |
362 |
split-types-examples%40useless-runes.lsp
|
|
- |
rw-r--r-- |
930 |
stobj-equality-from-fields%40useless-runes.lsp
|
|
- |
rw-r--r-- |
32,304 |
stobj-table-examples%40useless-runes.lsp
|
