| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | acl2-customization.lsp | 1482 | logplain |
| -rw-r--r-- | cert.acl2 | 1479 | logplain |
| -rw-r--r-- | defsection-tests.lisp | 8921 | logplain |
| -rw-r--r-- | preprocessor-tests.lisp | 3485 | logplain |
| -rw-r--r-- | unsound-eval-tests.acl2 | 1532 | logplain |
| -rw-r--r-- | unsound-eval-tests.lisp | 4475 | logplain |
 |
index : acl2 | |
| Debian dgit repo for package acl2 |
| summaryrefslogtreecommitdiff |