Index of /history.dcs.ed.ac.uk/archive/os/emas/users/ecmi02

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      Emas2/                  2008-10-11 05:36    -   
      emas4#mung.txt          2008-10-11 05:36   95K  
      evans_evans.txt         2008-10-11 05:36  3.2K  
      evans_figure.txt        2008-10-11 05:36  1.2K  
      evans_xevans.txt        2008-10-11 05:36   28   
      math_boyer.txt          2008-10-11 05:36  9.2K  
      math_breadt.txt         2008-10-11 05:36  2.5K  
      math_divide.txt         2008-10-11 05:36  1.4K  
      math_equal.txt          2008-10-11 05:36  403   
      math_formul.txt         2008-10-11 05:36  257   
      math_heuris.txt         2008-10-11 05:36  3.9K  
      math_model.txt          2008-10-11 05:36  1.6K  
      math_rewrit.txt         2008-10-11 05:36  2.0K  
      math_semant.txt         2008-10-11 05:36  4.5K  
      math_simple.txt         2008-10-11 05:36  596   
      math_skolem.txt         2008-10-11 05:36  2.2K  
      math_unify.txt          2008-10-11 05:36  3.2K  
      math_xmath.txt          2008-10-11 05:36   94   
      nl_atn.txt              2008-10-11 05:36  1.4K  
      nl_atnold.txt           2008-10-11 05:36  1.4K  
      nl_eliza.txt            2008-10-11 05:36  1.4K  
      nl_elizanew.txt         2008-10-11 05:36  2.2K  
      nl_parse.txt            2008-10-11 05:36  2.5K  
      nl_qa.txt               2008-10-11 05:36  1.5K  
      nl_xnl.txt              2008-10-11 05:36   47   
      plan_expon.txt          2008-10-11 05:36  1.0K  
      plan_wplanc.txt         2008-10-11 05:36  3.5K  
      plan_wpo.txt            2008-10-11 05:36  147   
      plan_xplan.txt          2008-10-11 05:36   31   
      teach_infer.txt         2008-10-11 05:36  585   
      teach_mandc.txt         2008-10-11 05:36  1.4K  
      teach_random.txt        2008-10-11 05:36  544   
      teach_randomold.txt     2008-10-11 05:36  651   
      teach_read.txt          2008-10-11 05:36  105   
      teach_readin.txt        2008-10-11 05:36  1.1K  
      teach_xteach.txt        2008-10-11 05:36   56   
      winst_arch1prb.txt      2008-10-11 05:36  1.8K  
      winst_archprb.txt       2008-10-11 05:36  1.7K  
      winst_blockprb.txt      2008-10-11 05:36  328   
      winst_isolprb.txt       2008-10-11 05:36  3.6K  
      winst_pairprb.txt       2008-10-11 05:36  1.2K  
      winst_winst.txt         2008-10-11 05:36  8.3K  
      winst_xwinst.txt        2008-10-11 05:36   63