Index of /~stough/705/coursedir

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 arith-tail.tar.gz       16-Feb-2009 14:01  104K  
 arith-tail/             16-Feb-2009 14:03    -   
 arith.tar.gz            23-Mar-2009 13:16   78K  
 arith/                  23-Mar-2009 13:19    -   
 balanced-standalone/    23-Feb-2009 20:18    -   
 balanced/               22-Mar-2009 19:22    -   
 combine1.ml             10-Feb-2009 17:11  672   
 combine2.ml             11-Feb-2009 15:01  456   
 fact1.ml                05-Feb-2009 17:04  378   
 fact2.ml                05-Feb-2009 17:15  330   
 fact3.ml                05-Feb-2009 17:04  355   
 fact4.ml                05-Mar-2009 12:50  213   
 fact5.ml                24-Apr-2009 17:01  337   
 fib/                    12-Mar-2009 16:40    -   
 gcd-test                10-Mar-2009 13:21  1.4K  
 gcd-untyped.txt         06-Apr-2009 22:18  2.1K  
 insert/                 16-Mar-2009 12:43    -   
 latex/                  10-May-2009 20:46    -   
 map.ml                  11-Feb-2009 15:01  297   
 maximal.ml              17-Feb-2009 17:02  3.1K  
 object.ml               24-Apr-2009 17:01  471   
 old/                    20-Dec-2008 17:00    -   
 random-lists/           17-Feb-2009 09:44    -   
 simplebool.tar.gz       01-Apr-2009 20:45   83K  
 simplebool/             01-Apr-2009 21:10    -   
 staging.ml              11-Feb-2009 15:01  310   
 strictly-ascending.ml   12-May-2009 11:58  803   
 times1.ml               11-Feb-2009 15:01  206   
 times2.ml               11-Feb-2009 15:01  362   
 tree1.ml                11-Feb-2009 15:01  758   
 tree2.ml                11-Feb-2009 15:01  924   
 untyped.tar.gz          23-Mar-2009 13:16   89K  
 untyped/                01-Apr-2009 20:45    -