File: defalist.acl2
package info
(click to toggle)
acl2 2.9-2
- links: PTS
- area: main
- in suites: sarge
- size: 27,196 kB
- ctags: 26,113
- sloc: lisp: 353,947; makefile: 3,250; sh: 85; csh: 47
| file content (5 lines) | stat: -rwxr-xr-x 114 bytes | parent folder | download | duplicates (2) |
1 |
|