Index of /modularization/star/exa

 Name                        Last modified      Size  Description
 Parent Directory                                 -   
 bindatalog.ruleml           07-Jun-2004 13:18  3.7K  
 datalog.ruleml              07-Jun-2004 13:18  4.2K  
 equalog.ruleml              07-Jun-2004 13:18  8.5K  
 hornlog.ruleml              07-Jun-2004 13:18  6.7K  
 nafdatalog.ruleml           07-Jun-2004 13:18  2.3K  
 nafnegdatalog.ruleml        07-Jun-2004 13:18  3.0K  
 negdatalog.ruleml           07-Jun-2004 13:18  2.3K  
 urcbindatagroundfact.ruleml 07-Jun-2004 13:18  1.5K  
 urcbindatagroundlog.ruleml  07-Jun-2004 13:18  2.4K  
 urcbindatalog.ruleml        07-Jun-2004 13:18  3.3K  
 urcdatalog.ruleml           07-Jun-2004 13:18  4.0K  
 urdatalog.ruleml            07-Jun-2004 13:18  4.4K  
 urequalog.ruleml            07-Jun-2004 13:18  8.8K  
 urhornlog.ruleml            07-Jun-2004 13:18  6.9K