Index of /dtd

 Name                            Last modified      Size  Description
 Parent Directory                                     -   
 0.7/                            14-Jul-2004 10:39    -   
 0.8/                            14-Jul-2004 12:03    -   
 0.81/                           17-Nov-2003 11:44    -   
 0.85/                           14-Jul-2004 11:38    -   
 ruleml-bindatalog.dtd           17-Nov-2003 11:44  464   
 ruleml-datalog-standalone.dtd   17-Nov-2003 11:44  2.1K  
 ruleml-datalog.dtd              17-Nov-2003 11:44  2.6K  
 ruleml-equalog.dtd              17-Nov-2003 11:44  1.9K  
 ruleml-hornlog.dtd              17-Nov-2003 11:44  751   
 ruleml-ur.dtd                   17-Nov-2003 11:44  705   
 ruleml-urcbindatagroundfact.dtd 17-Nov-2003 11:44  814   
 ruleml-urcbindatagroundlog.dtd  17-Nov-2003 11:44  641   
 ruleml-urcbindatalog.dtd        17-Nov-2003 11:44  635   
 ruleml-urcdatalog.dtd           17-Nov-2003 11:44  617   
 ruleml-urdatalog.dtd            17-Nov-2003 11:44  577   
 ruleml-urequalog.dtd            17-Nov-2003 11:44  681   
 ruleml-urhornlog.dtd            17-Nov-2003 11:44  707