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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]Makefile20-Oct-2008 19:02 119  
[   ]Readme.lsp21-Oct-2008 14:49 1.5K 
[   ]defset-encapsulates.lisp13-Oct-2008 14:02 5.4K 
[   ]defset-macros.lisp13-Oct-2008 14:02 29K 
[   ]equal-based-set.lisp13-Oct-2008 14:02 149  
[   ]grep-command-line.lisp20-Oct-2008 19:02 35K 
[   ]input-list.lisp13-Oct-2008 14:02 11K 
[   ]make-acl2-grep.lsp20-Oct-2008 19:02 357  
[   ]regex-chartrans.lisp13-Oct-2008 14:02 2.9K 
[   ]regex-defs.lisp20-Oct-2008 19:02 2.7K 
[   ]regex-exec.lisp13-Oct-2008 14:02 29K 
[   ]regex-fileio.lisp13-Oct-2008 14:02 5.5K 
[   ]regex-parse-brace.lisp13-Oct-2008 14:02 9.3K 
[   ]regex-parse-bracket.lisp13-Oct-2008 14:02 6.3K 
[   ]regex-parse.lisp13-Oct-2008 14:02 20K 
[   ]regex-tests.lisp13-Oct-2008 14:02 53K