Index of /modularization/tree/exa/

 Name                                Last modified         Size  Description 
   
 Parent Directory                    07-Jun-2004 12:33        -       
 urcbindatalog.ruleml                07-Jun-2004 12:33       4k       
 urcdatalog.ruleml                   07-Jun-2004 12:33       8k       
 urcbindatagroundfact.ruleml         07-Jun-2004 12:33       4k       
 urhornlog.ruleml                    07-Jun-2004 12:33       8k       
 datalog.ruleml                      07-Jun-2004 12:33       8k       
 hornlog.ruleml                      07-Jun-2004 12:33       8k       
 urdatalog.ruleml                    07-Jun-2004 12:33       8k       
 urequalog.ruleml                    07-Jun-2004 12:33      12k       
 negdatalog.ruleml                   07-Jun-2004 12:33       4k       
 nafdatalog.ruleml                   07-Jun-2004 12:33       4k       
 urcbindatagroundlog.ruleml          07-Jun-2004 12:33       4k       
 bindatalog.ruleml                   07-Jun-2004 12:33       4k       
 equalog.ruleml                      07-Jun-2004 12:33      12k       
 nafnegdatalog.ruleml                07-Jun-2004 12:33       4k