package info
(click to toggle)
acl2 6.5-2
- links: PTS
- area: main
- in suites: jessie, jessie-kfreebsd
- size: 108,856 kB
- ctags: 110,136
- sloc: lisp: 1,492,565; xml: 7,958; perl: 3,682; sh: 2,103; cpp: 1,477; makefile: 1,470; ruby: 453; ansic: 358; csh: 125; java: 24; haskell: 17
Folder: utilities
 |
.. (parent) | |||
|
d | rwxr-xr-x | 6 | autodoc |
 |
- | 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 |