| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | cert.acl2 | 196 | logplain |
| -rw-r--r-- | fibs-source-shallow-canon.lisp | 1679 | logplain |
| -rw-r--r-- | fibs-source-shallow-flatten.lisp | 1118 | logplain |
| -rw-r--r-- | fibs.mcr | 327 | logplain |
| -rw-r--r-- | proof-fibs.lisp | 952 | logplain |
 |
index : acl2 | |
| Debian dgit repo for package acl2 |
| summaryrefslogtreecommitdiff |