Index of /users/moore/acl2/v4-3/distrib/acl2-sources/books/regex

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]Makefile20-Sep-2010 19:29 119  
[   ]Readme.lsp20-Sep-2010 19:29 1.5K 
[   ]cert.acl228-Jan-2011 16:25 29  
[   ]defset-encapsulates.lisp20-Sep-2010 19:29 5.4K 
[   ]defset-macros.lisp20-Sep-2010 19:29 29K 
[   ]equal-based-set.lisp20-Sep-2010 19:29 149  
[   ]grep-command-line.lisp20-Sep-2010 19:29 35K 
[   ]input-list.lisp28-Jan-2011 16:18 11K 
[   ]make-acl2-grep.lsp20-Sep-2010 19:29 357  
[   ]portcullis.acl228-Jan-2011 16:25 112  
[   ]portcullis.lisp28-Jan-2011 16:25 21  
[   ]regex-chartrans.lisp20-Sep-2010 19:29 2.9K 
[   ]regex-defs.lisp08-Feb-2011 20:08 3.3K 
[   ]regex-exec.lisp28-Jan-2011 16:18 35K 
[   ]regex-fileio.lisp20-Sep-2010 19:29 5.5K 
[   ]regex-parse-brace.lisp20-Sep-2010 19:29 9.3K 
[   ]regex-parse-bracket.lisp20-Sep-2010 19:29 6.3K 
[   ]regex-parse.lisp28-Jan-2011 16:18 20K 
[   ]regex-tests.lisp08-Feb-2011 20:08 53K