| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | LICENSE | 15134 | logplain |
| -rw-r--r-- | README | 1413 | logplain |
| -rw-r--r-- | defpun-original.lisp | 16817 | logplain |
| -rw-r--r-- | defpun.lisp | 223 | logplain |
| -rw-r--r-- | examples.acl2 | 68 | logplain |
| -rw-r--r-- | examples.lisp | 21518 | logplain |
| -rw-r--r-- | mod-1-property.lisp | 1600 | logplain |
| -rw-r--r-- | report.lisp | 11914 | logplain |
| -rw-r--r-- | tjvm-examples.acl2 | 77 | logplain |
| -rw-r--r-- | tjvm-examples.lisp | 6783 | logplain |
| -rw-r--r-- | tjvm.acl2 | 388 | logplain |
| -rw-r--r-- | tjvm.lisp | 20469 | logplain |
 |
index : acl2 | |
| Debian dgit repo for package acl2 |
| summaryrefslogtreecommitdiff |