Index of /dtd/0.81

 Name                                                Last modified      Size  Description
 Parent Directory                                                         -   
 ruleml-bindatalog.dtd                               17-Nov-2003 11:44  713   
 ruleml-datafun.dtd                                  17-Nov-2003 11:44  5.7K  
 ruleml-datalog-monolith-OLD.dtd                     17-Nov-2003 11:44  3.2K  
 ruleml-datalog-monolith.dtd                         17-Nov-2003 11:44  2.9K  
 ruleml-datalog.dtd                                  17-Nov-2003 11:44  5.6K  
 ruleml-equafun.dtd                                  17-Nov-2003 11:44  2.0K  
 ruleml-equalog.dtd                                  17-Nov-2003 11:44  3.4K  
 ruleml-hornfun.dtd                                  17-Nov-2003 11:44  5.5K  
 ruleml-hornlog-metaroles.dtd                        17-Nov-2003 11:44  1.3K  
 ruleml-hornlog.dtd                                  17-Nov-2003 11:44  4.1K  
 ruleml-ur.dtd                                       17-Nov-2003 11:44  1.4K  
 ruleml-ur.dtd-self-contained-but-duplicate-elements 17-Nov-2003 11:44  325   
 ruleml-urcbindatagroundfact.dtd                     17-Nov-2003 11:44  3.4K  
 ruleml-urcbindatagroundlog.dtd                      17-Nov-2003 11:44  930   
 ruleml-urcbindatalog.dtd                            17-Nov-2003 11:44  965   
 ruleml-urcdatalog.dtd                               17-Nov-2003 11:44  954   
 ruleml-urdatalog.dtd                                17-Nov-2003 11:44  271   
 ruleml-urequalog.dtd                                17-Nov-2003 11:44  288   
 ruleml-urhornlog.dtd                                17-Nov-2003 11:44  274