Index of /~chrzaszcz/coq/W7

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] elim.v                  07-Apr-2009 02:54  885   
[   ] ind.v                   07-Apr-2009 02:37  468   
[   ] internals.v             07-Apr-2009 12:46  414   
[   ] poly.v                  07-Apr-2009 16:11  2.0K  
[   ] reductions.v            07-Apr-2009 13:46  1.0K  
[   ] slajdy.pdf              19-Apr-2009 22:41  137K  
[   ] univ.v                  07-Apr-2009 14:19  1.4K
Apache/2.2.22 (Unix) mod_ssl/2.2.22 OpenSSL/1.0.0i DAV/2 mod_python/3.3.1 Python/2.7.2 SVN/1.7.4 mod_jk/1.2.32 mod_watch/4.3 mod_perl/2.0.5 Perl/v5.12.3 Server at duch.mimuw.edu.pl Port 80