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