Index of /~prakk101/aspic/etc

 Name                                Last modified      Size  Description
 Parent Directory                                         -   
 ASPIC implementation and theory.doc 2007-02-14 12:07   41K  
 User documentation.doc              2007-05-18 13:29  217K  
 pollockredlight.arg                 2006-11-03 20:50  543   
 release checklist.txt               2007-03-05 08:44  792   
 tests/                              2015-04-13 15:35    -   
 treatment.arg                       2007-03-23 09:53  2.2K  
 tweety.arg                          2007-08-21 13:55  510   
 zeus.arg                            2007-01-09 20:05  8.3K