Mode | Name | Size | |
---|---|---|---|
-rwxr-xr-x | acl2-theorems.before | 105 | logplain |
-rwxr-xr-x | acl2-theorems.develop.before | 128 | logplain |
l--------- | acl2-theorems.develop.run -> ./acl2-theorems.run | 19 | logplain |
-rwxr-xr-x | acl2-theorems.run | 217 | logplain |
-rwxr-xr-x | acl2-verify.run | 397 | logplain |
-rwxr-xr-x | pull-cfg.run | 72 | logplain |