![[ICO]](/icons/blank.gif) | Name | Last modified | Size | Description |
|
![[PARENTDIR]](/icons/back.gif) | Parent Directory | | - | |
![[ ]](/icons/compressed.gif) | cert.acl2.gz | 2010-09-20 19:29 | 123 | |
![[ ]](/icons/compressed.gif) | symbols.acl2.gz | 2010-09-20 19:29 | 149 | |
![[ ]](/icons/compressed.gif) | symbols-defpkg.lsp.gz | 2010-09-20 19:29 | 152 | |
![[ ]](/icons/compressed.gif) | Makefile.gz | 2010-09-20 19:29 | 269 | |
![[ ]](/icons/compressed.gif) | logcons.lisp.gz | 2010-09-20 19:29 | 440 | |
![[ ]](/icons/compressed.gif) | logbit.lisp.gz | 2010-09-20 19:29 | 620 | |
![[ ]](/icons/compressed.gif) | logbitp.lisp.gz | 2010-09-20 19:29 | 673 | |
![[ ]](/icons/compressed.gif) | fast.lisp.gz | 2010-09-20 19:29 | 694 | |
![[ ]](/icons/compressed.gif) | signed-byte-p-overflow.lisp.gz | 2010-09-20 19:29 | 836 | |
![[ ]](/icons/compressed.gif) | min-max.lisp.gz | 2010-09-20 19:29 | 856 | |
![[ ]](/icons/compressed.gif) | logext.lisp.gz | 2010-09-20 19:29 | 924 | |
![[ ]](/icons/compressed.gif) | logapp.lisp.gz | 2010-09-20 19:29 | 925 | |
![[ ]](/icons/compressed.gif) | lshu.lisp.gz | 2010-09-20 19:29 | 941 | |
![[ ]](/icons/compressed.gif) | logcar.lisp.gz | 2010-09-20 19:29 | 1.0K | |
![[ ]](/icons/compressed.gif) | plus-logapp-suck.lisp.gz | 2010-09-20 19:29 | 1.1K | |
![[ ]](/icons/compressed.gif) | carry.lisp.gz | 2010-09-20 19:29 | 1.2K | |
![[ ]](/icons/compressed.gif) | logcdr.lisp.gz | 2010-09-20 19:29 | 1.2K | |
![[ ]](/icons/compressed.gif) | c-functions.lisp.gz | 2010-09-20 19:29 | 1.2K | |
![[ ]](/icons/compressed.gif) | logtail.lisp.gz | 2010-09-20 19:29 | 1.4K | |
![[ ]](/icons/compressed.gif) | bit-functions.lisp.gz | 2010-09-20 19:29 | 1.5K | |
![[ ]](/icons/compressed.gif) | logpair.lisp.gz | 2010-09-20 19:29 | 1.5K | |
![[ ]](/icons/compressed.gif) | from-rtl.lisp.gz | 2010-09-20 19:29 | 1.7K | |
![[ ]](/icons/compressed.gif) | unsigned-byte-p.lisp.gz | 2010-09-20 19:29 | 1.7K | |
![[ ]](/icons/compressed.gif) | eric.lisp.gz | 2010-09-20 19:29 | 1.8K | |
![[ ]](/icons/compressed.gif) | meta.lisp.gz | 2010-09-20 19:29 | 1.9K | |
![[ ]](/icons/compressed.gif) | ash.lisp.gz | 2010-09-20 19:29 | 2.0K | |
![[ ]](/icons/compressed.gif) | inductions.lisp.gz | 2010-09-20 19:29 | 2.1K | |
![[ ]](/icons/compressed.gif) | logior-logapp-crock.lisp.gz | 2010-09-20 19:29 | 2.1K | |
![[ ]](/icons/compressed.gif) | hacks.lisp.gz | 2010-09-20 19:29 | 2.2K | |
![[ ]](/icons/compressed.gif) | byte-p.lisp.gz | 2010-09-20 19:29 | 2.2K | |
![[ ]](/icons/compressed.gif) | basics.lisp.gz | 2010-09-20 19:29 | 2.4K | |
![[ ]](/icons/compressed.gif) | evenp.lisp.gz | 2010-09-20 19:29 | 2.6K | |
![[ ]](/icons/compressed.gif) | loglist.lisp.gz | 2010-09-20 19:29 | 2.9K | |
![[ ]](/icons/compressed.gif) | arithmetic.lisp.gz | 2010-09-20 19:29 | 4.7K | |
![[ ]](/icons/compressed.gif) | logical-logops.lisp.gz | 2010-09-20 19:29 | 5.1K | |
![[ ]](/icons/compressed.gif) | loghead.lisp.gz | 2010-09-20 19:29 | 6.4K | |
![[ ]](/icons/compressed.gif) | iter-sqrt.lisp.gz | 2010-09-20 19:29 | 6.9K | |
![[ ]](/icons/compressed.gif) | bit-twiddling-logops.lisp.gz | 2010-09-20 19:29 | 7.2K | |
![[ ]](/icons/compressed.gif) | symbols.lsp.gz | 2010-09-20 19:29 | 24K | |
![[ ]](/icons/compressed.gif) | super-ihs.lisp.gz | 2010-09-20 19:29 | 33K | |
![[ ]](/icons/compressed.gif) | super-ihs-definitions.lisp.gz | 2010-09-20 19:29 | 75K | |
|