Index of /~bpientka/courses/atp/code/twelf-example

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] nd-ann.elf              23-Nov-2007 12:11  1.3K  
[TXT] nd-frag.elf             23-Nov-2007 12:11  896   
[   ] nd-proof.elf            23-Nov-2007 12:11  829   
[DIR] nd/                     26-Nov-2007 21:41    -   
[   ] sources.cfg             23-Nov-2007 12:11   36
Apache/2.0.59 (FreeBSD) DAV/2 PHP/5.2.1 with Suhosin-Patch mod_ssl/2.0.59 OpenSSL/0.9.8d Server at www.cs.mcgill.ca Port 80