Index of /users/moore/acl2/v3-5/distrib/acl2-sources/books/regex

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] Makefile                20-Oct-2008 19:02  119   
[TXT] Readme.lsp              21-Oct-2008 14:49  1.5K  
[   ] defset-encapsulates...> 13-Oct-2008 14:02  5.4K  
[   ] defset-macros.lisp      13-Oct-2008 14:02   29K  
[   ] equal-based-set.lisp    13-Oct-2008 14:02  149   
[   ] grep-command-line.lisp  20-Oct-2008 19:02   35K  
[   ] input-list.lisp         13-Oct-2008 14:02   11K  
[   ] make-acl2-grep.lsp      20-Oct-2008 19:02  357   
[TXT] regex-chartrans.lisp    13-Oct-2008 14:02  2.9K  
[TXT] regex-defs.lisp         20-Oct-2008 19:02  2.7K  
[TXT] regex-exec.lisp         13-Oct-2008 14:02   29K  
[   ] regex-fileio.lisp       13-Oct-2008 14:02  5.5K  
[   ] regex-parse-brace.lisp  13-Oct-2008 14:02  9.3K  
[   ] regex-parse-bracket...> 13-Oct-2008 14:02  6.3K  
[TXT] regex-parse.lisp        13-Oct-2008 14:02   20K  
[   ] regex-tests.lisp        13-Oct-2008 14:02   53K