| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | README | 1527 | logplain |
| -rw-r--r-- | b-ops-aux-def.lisp | 1653 | logplain |
| -rw-r--r-- | b-ops-aux.lisp | 23430 | logplain |
| -rw-r--r-- | basic-def.acl2 | 110 | logplain |
| -rw-r--r-- | basic-def.lisp | 29955 | logplain |
| -rw-r--r-- | basic-lemmas.lisp | 28681 | logplain |
| -rw-r--r-- | exercise.lisp | 2773 | logplain |
| -rw-r--r-- | ihs.lisp | 5514 | logplain |
| -rw-r--r-- | model.lisp | 13779 | logplain |
| -rw-r--r-- | proof.lisp | 34090 | logplain |
| -rw-r--r-- | table-def.lisp | 17821 | logplain |
| -rw-r--r-- | trivia.lisp | 2779 | logplain |
| -rw-r--r-- | utils.acl2 | 105 | logplain |
| -rw-r--r-- | utils.lisp | 4286 | logplain |
 |
index : acl2 | |
| Debian dgit repo for package acl2 |
| summaryrefslogtreecommitdiff |