Index of /users/moore/acl2/v3-4/distrib/acl2-sources/books/nonstd/fft

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Makefile                20-Sep-2001 15:05  469   
 certify.lsp             20-Sep-2001 15:05  587   
 eval-poly.acl2          20-Sep-2001 15:05   63   
 eval-poly.lisp          20-Sep-2001 15:05  4.8K  
 fft-omega.acl2          20-Sep-2001 15:05   63   
 fft-omega.lisp          20-Sep-2001 15:05  8.5K  
 fft-trig-with-axioms..> 24-Sep-2002 00:26   93   
 fft-trig-with-axioms..> 20-Sep-2001 15:05   12K  
 fft-trig.acl2           01-Nov-2002 14:42   64   
 fft-trig.lisp           20-Sep-2001 15:05   12K