Index of /~wh5a/coq/SimpTypLCalc

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[TXT] RelExtras.v             01-Oct-2007 05:00   10K  
[   ] STLC.v                  27-Feb-2007 12:20   15K  
[   ] STLC_sol.v              01-Oct-2007 05:02   16K  
[TXT] TermsDef.v              01-Oct-2007 05:00  5.6K  
[TXT] TermsTyping.v           01-Oct-2007 05:00  9.2K
Apache/2.2.0 (Unix) DAV/2 mod_ssl/2.2.0 OpenSSL/0.9.7i mod_pubcookie/3.3.3 mod_wsgi/2.6 Python/2.5 PHP/5.2.9 Server at www.cs.virginia.edu Port 80