| tree | fab40dd9c7f5a09b693f769bc89977c00e13383d |
| drwxr-xr-x | .. | ||
| -rw-r--r-- | 55 | .gitignore | blobblamehistoryraw |
| -rw-r--r-- | 17976 | 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 |