| tree | db0146e6234f0251b9e4e914fdbecf65f991cc05 |
| drwxr-xr-x | .. | ||
| -rw-r--r-- | 55 | .gitignore | blobblamehistoryraw |
| -rw-r--r-- | 18092 | COPYING | blobblamehistoryraw |
| -rw-r--r-- | 8214 | Ksimplifier.lisp | blobblamehistoryraw |
| -rw-r--r-- | 272 | Makefile.am | blobblamehistoryraw |
| -rw-r--r-- | 345 | TODO | blobblamehistoryraw |
| -rw-r--r-- | 2725 | logic.dem | blobblamehistoryraw |
| -rw-r--r-- | 20337 | logic.lisp | blobblamehistoryraw |
| -rw-r--r-- | 1004 | logic.mac | blobblamehistoryraw |
| -rw-r--r-- | 14907 | logic.texi | blobblamehistoryraw |
| -rw-r--r-- | 3704 | rtest_logic.mac | blobblamehistoryraw |