 |
|
|
|
.. (parent) |
 |
- |
rw-r--r-- |
1,458 |
acl2-customization.lsp
|
|
- |
rw-r--r-- |
1,760 |
all-at-leastp.lisp
|
|
- |
rw-r--r-- |
1,707 |
all-equalp.lisp
|
|
- |
rw-r--r-- |
18 |
cert.image
|
|
- |
rw-r--r-- |
1,772 |
clean-update.lisp
|
|
- |
rw-r--r-- |
1,553 |
cons-listp.lisp
|
|
- |
rw-r--r-- |
2,069 |
cons-onto-ranges.lisp
|
|
- |
rw-r--r-- |
4,298 |
defaggregate.lisp
|
|
- |
rw-r--r-- |
17,483 |
deflist.lisp
|
|
- |
rw-r--r-- |
6,541 |
defmap.lisp
|
|
- |
rw-r--r-- |
9,536 |
extended-subsets.lisp
|
|
- |
rw-r--r-- |
3,675 |
fast-remove-supersets.lisp
|
|
- |
rw-r--r-- |
2,421 |
intersect.lisp
|
|
- |
rw-r--r-- |
1,631 |
list-list-fix.lisp
|
|
- |
rw-r--r-- |
1,747 |
listify-each.lisp
|
|
- |
rw-r--r-- |
219 |
make-image.lsp
|
|
- |
rw-r--r-- |
2,235 |
map-listp.lisp
|
|
- |
rw-r--r-- |
9,157 |
mergesort-map.lisp
|
|
- |
rw-r--r-- |
8,402 |
mergesort.lisp
|
|
- |
rw-r--r-- |
1,773 |
multicons.lisp
|
|
- |
rw-r--r-- |
8,920 |
mutually-disjoint.lisp
|
|
- |
rw-r--r-- |
1,549 |
nat-listp.lisp
|
|
- |
rw-r--r-- |
4,241 |
ordered-subsetp.lisp
|
|
- |
rw-r--r-- |
14,336 |
prepare-for-bootstrapping.lisp
|
|
- |
rw-r--r-- |
16,515 |
primitives-1.lisp
|
|
- |
rw-r--r-- |
6,535 |
primitives-2.lisp
|
|
- |
rw-r--r-- |
3,453 |
primitives-3.lisp
|
|
- |
rw-r--r-- |
3,137 |
primitives-4.lisp
|
|
- |
rw-r--r-- |
4,548 |
primitives-5.lisp
|
|
- |
rw-r--r-- |
7,846 |
primitives-6.lisp
|
|
- |
rw-r--r-- |
4,609 |
primitives.lisp
|
|
- |
rw-r--r-- |
2,503 |
remove-all-from-ranges.lisp
|
|
- |
rw-r--r-- |
1,815 |
remove-duplicates-list.lisp
|
|
- |
rw-r--r-- |
3,296 |
simple-flatten.lisp
|
|
- |
rw-r--r-- |
3,108 |
sort-symbols.lisp
|
|
- |
rw-r--r-- |
1,697 |
strip-firsts.lisp
|
|
- |
rw-r--r-- |
1,656 |
strip-lens.lisp
|
|
- |
rw-r--r-- |
1,701 |
strip-seconds.lisp
|
|
- |
rw-r--r-- |
1,697 |
strip-thirds.lisp
|
|
- |
rw-r--r-- |
1,558 |
symbol-listp.lisp
|
|
- |
rwxr-xr-x |
56 |
symmetry
|
|
- |
rw-r--r-- |
5,736 |
top.lisp
|
|
- |
rw-r--r-- |
3,491 |
total-order.lisp
|
|
- |
rw-r--r-- |
3,673 |
tuple-listp.lisp
|
|
- |
rw-r--r-- |
8,029 |
utilities-1.lisp
|
|
- |
rw-r--r-- |
5,058 |
utilities-2.lisp
|
|
- |
rw-r--r-- |
3,426 |
utilities-3.lisp
|
|
- |
rw-r--r-- |
2,864 |
utilities-4-difference.lisp
|
|
- |
rw-r--r-- |
3,229 |
utilities-4-disjointp.lisp
|
|
- |
rw-r--r-- |
2,351 |
utilities-4-nth.lisp
|
|
- |
rw-r--r-- |
3,356 |
utilities-4-remove-all.lisp
|
|
- |
rw-r--r-- |
2,649 |
utilities-4-remove-duplicates.lisp
|
|
- |
rw-r--r-- |
3,192 |
utilities-4-repeat.lisp
|
|
- |
rw-r--r-- |
2,578 |
utilities-4-tuplep.lisp
|
|
- |
rw-r--r-- |
1,945 |
utilities-4-uniquep.lisp
|
|
- |
rw-r--r-- |
3,663 |
utilities-4.lisp
|
|
- |
rw-r--r-- |
2,666 |
utilities-5-first-index.lisp
|
|
- |
rw-r--r-- |
3,254 |
utilities-5-firstn.lisp
|
|
- |
rw-r--r-- |
5,492 |
utilities-5-mapp.lisp
|
|
- |
rw-r--r-- |
3,987 |
utilities-5-prefixp.lisp
|
|
- |
rw-r--r-- |
2,541 |
utilities-5-restn.lisp
|
|
- |
rw-r--r-- |
3,067 |
utilities-5.lisp
|
|
- |
rw-r--r-- |
3,309 |
utilities-6-pair-lists.lisp
|
|
- |
rw-r--r-- |
6,222 |
utilities-6-submapp.lisp
|
|
- |
rw-r--r-- |
1,549 |
utilities.lisp
|
