Index of /users/moore/acl2/v3-4/distrib/acl2-sources/books/unicode/test-performance

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Makefile                17-Dec-2007 09:57  1.0K  
 read-me.txt             17-Dec-2007 09:57  483   
 tests.lisp              17-Dec-2007 09:57  2.5K  
 timing.c                17-Dec-2007 09:57  461   
 timing.cpp              17-Dec-2007 09:57  516   
 timing.lisp             17-Dec-2007 09:57  1.7K  
 unicode.lisp            17-Dec-2007 09:57  555