Index of /users/moore/acl2/v3-4/distrib/acl2-sources/books/workshops/2002/ray-sumners

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 qs.pdf.gz               17-Dec-2007 09:59   62K  
 qs.ps.gz                17-Dec-2007 09:59   51K  
 qssld.pdf.gz            17-Dec-2007 09:59   92K  
 qssld.ps.gz             17-Dec-2007 09:59   85K  

The supporting materials for this workshop paper have been extended somewhat
in support of fast execution, and may now be found in subdirectory
books/defexec/chapter3/qsort/ of the ACL2 distribution.