Wizard Index of /~marek/tex/info2/ha9/ 

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] OMakefile               08-Jan-2010 16:14  624   
[   ] OMakeroot               08-Jan-2010 16:14   96   
[   ] arith.ml                08-Jan-2010 16:14  4.0K  
[   ] calc.ml                 08-Jan-2010 16:14  1.0K  
[   ] diff.ml                 08-Jan-2010 17:43  2.4K  
[   ] proof.aux               08-Jan-2010 17:40    8   
[   ] proof.log               08-Jan-2010 17:40  6.5K  
[   ] proof.pdf               08-Jan-2010 17:40   14K  Portable Document Format
[TXT] proof.tex               08-Jan-2010 17:40  1.3K  
[   ] quadTree.ml             08-Jan-2010 16:14  5.7K
Apache/2.2.16 (Debian) Server at xivilization.net Port 80