Index of /homes/delphin/delphin-examples/hol-nuprl

Icon  Name                    Last modified      Size  Description
[   ] eval.elf                24-Sep-2008 11:49  9.6K  
[   ] hol-nuprl-old.d         01-Feb-2008 07:23   18K  
[   ] hol-nuprl.d             24-Sep-2008 11:49   24K  
[   ] hol.elf                 24-Sep-2008 11:49  2.1K  
[DIR] hol/                    28-Sep-2008 14:36    -   
[   ] meta.elf                10-Oct-2007 00:46   17K  
[   ] nuprl-axioms.elf        24-Sep-2008 11:51  1.4K  
[DIR] nuprl/                  28-Sep-2008 14:36    -   
[DIR] resolution/             28-Sep-2008 14:36    -   
[   ] sources.cfg             24-Sep-2008 11:49  102   
[   ] trans.elf               24-Sep-2008 11:49  2.0K
Apache/2.0.54 (Linux/SUSE) Server at cs-www.cs.yale.edu Port 80