Index of /~mcguire/ProofBuilder/documentation/presentations/2007_ccsc_mw_niftytool

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 abstract                16-May-2007 10:54  1.6K  
 confirmation            08-Aug-2007 15:28  708   
 head                    16-May-2007 10:50  215   
 proposal.html           17-May-2007 11:09  3.0K  
 proposal.html.01        16-May-2007 11:47  2.7K  
 submission              08-Aug-2007 15:23  1.8K

Apache/2.2.13 (Unix) mod_ssl/2.2.13 OpenSSL/0.9.8e-fips-rhel5 DAV/2 PHP/5.3.0 SVN/1.5.5 Server at www.cis.gvsu.edu Port 80