![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Makefile | 18-Jan-2004 09:59 | 1.2K | |
| README | 30-May-2000 15:41 | 2.2K | |
| algebra.acl2 | 05-Jun-2000 09:33 | 47 | |
| algebra.lisp | 25-Jan-2004 10:25 | 43K | |
| batcher-sort.acl2 | 05-Jun-2000 09:35 | 52 | |
| batcher-sort.lisp | 18-Jan-2004 14:23 | 35K | |
| bitonic-sort.acl2 | 05-Jun-2000 09:35 | 52 | |
| bitonic-sort.lisp | 18-May-2000 16:47 | 4.6K | |
| certify.lsp | 01-Jan-1999 08:41 | 1.4K | |
| cla-adder.acl2 | 05-Jun-2000 09:35 | 49 | |
| cla-adder.lisp | 18-May-2000 16:47 | 12K | |
| defpkg.lisp | 05-Jun-2000 09:32 | 1.3K | |
| gray-code.acl2 | 05-Jun-2000 09:35 | 49 | |
| gray-code.lisp | 04-Feb-1999 13:09 | 8.1K | |
| merge-sort.acl2 | 05-Jun-2000 09:36 | 50 | |
| merge-sort.lisp | 15-Sep-2003 11:40 | 8.4K | |
| prefix-sum.acl2 | 05-Jun-2000 09:36 | 49 | |
| prefix-sum.lisp | 14-Oct-2001 18:36 | 27K | |
| simple.acl2 | 05-Jun-2000 09:35 | 46 | |
| simple.lisp | 18-May-2000 16:47 | 7.2K | |
| sort.acl2 | 05-Jun-2000 09:36 | 44 | |
| sort.lisp | 06-May-2000 12:27 | 6.7K | |