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