| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | cert.acl2 | 102 | logplain |
| -rw-r--r-- | defsort.lisp | 42436 | logplain |
| -rw-r--r-- | duplicated-members.lisp | 16526 | logplain |
| -rw-r--r-- | examples.lisp | 12325 | logplain |
| -rw-r--r-- | generic.lisp | 42513 | logplain |
| -rw-r--r-- | remove-dups.lisp | 5108 | logplain |
| -rw-r--r-- | uniquep.lisp | 5295 | logplain |
 |
index : acl2 | |
| Debian dgit repo for package acl2 |
| summaryrefslogtreecommitdiff |