Index of /1.02/simplified/

      Name                                                                             Last modified         Size  Description 
   
up Parent Directory 16-Dec-2015 09:39 - unknown bindatagroundfact_normal.rnc 17-Nov-2015 17:12 32k unknown bindatagroundfact_relaxed.rnc 17-Nov-2015 17:12 32k unknown bindatagroundlog_normal.rnc 17-Nov-2015 17:12 40k unknown bindatagroundlog_relaxed.rnc 17-Nov-2015 17:12 40k unknown bindatalog_normal.rnc 17-Nov-2015 17:12 44k unknown bindatalog_relaxed.rnc 17-Nov-2015 17:12 44k unknown datalog_min_normal.rnc 17-Nov-2015 17:12 8k unknown datalog_min_relaxed.rnc 17-Nov-2015 17:12 8k unknown datalog_normal.rnc 17-Nov-2015 17:12 44k unknown datalog_relaxed.rnc 17-Nov-2015 17:12 44k unknown datalogplus_mid_normal.rnc 17-Nov-2015 17:12 20k unknown datalogplus_mid_relaxed.rnc 17-Nov-2015 17:12 20k unknown datalogplus_min_normal.rnc 17-Nov-2015 17:12 12k unknown datalogplus_min_relaxed.rnc 17-Nov-2015 17:12 12k unknown disdatalog_min_normal.rnc 17-Nov-2015 17:12 8k unknown disdatalog_min_relaxed.rnc 17-Nov-2015 17:12 8k unknown disdatalogplus_mid_normal.rnc 17-Nov-2015 17:12 20k unknown disdatalogplus_mid_relaxed.rnc 17-Nov-2015 17:12 20k unknown disdatalogplus_min_normal.rnc 17-Nov-2015 17:12 12k unknown disdatalogplus_min_relaxed.rnc 17-Nov-2015 17:12 12k unknown dishornlog_normal.rnc 17-Nov-2015 17:12 52k unknown dishornlog_relaxed.rnc 17-Nov-2015 17:12 52k unknown folog_normal.rnc 17-Nov-2015 17:12 64k unknown folog_relaxed.rnc 17-Nov-2015 17:12 68k unknown fologeq_normal.rnc 17-Nov-2015 17:12 68k unknown fologeq_relaxed.rnc 17-Nov-2015 17:12 72k unknown hornlog_normal.rnc 17-Nov-2015 17:12 52k unknown hornlog_relaxed.rnc 17-Nov-2015 17:12 52k unknown hornlogeq_normal.rnc 17-Nov-2015 17:12 56k unknown hornlogeq_relaxed.rnc 17-Nov-2015 17:12 56k unknown nafdatalog_normal.rnc 17-Nov-2015 17:12 44k unknown nafdatalog_relaxed.rnc 17-Nov-2015 17:12 48k unknown naffolog_normal.rnc 17-Nov-2015 17:12 68k unknown naffolog_relaxed.rnc 17-Nov-2015 17:12 72k unknown naffologeq_compact.rnc 28-Nov-2015 13:37 60k unknown naffologeq_deterministic.rnc 28-Nov-2015 13:37 76k unknown naffologeq_normal.rnc 17-Nov-2015 17:12 72k unknown naffologeq_relaxed.rnc 17-Nov-2015 17:12 76k unknown nafhologeq.rnc 16-Dec-2015 09:39 84k unknown nafhologeq_compact.rnc 16-Dec-2015 09:39 64k unknown nafhologeq_deterministic.rnc 16-Dec-2015 09:39 84k unknown nafhologeq_normal.rnc 16-Dec-2015 09:39 76k unknown nafhologeq_relaxed.rnc 16-Dec-2015 09:39 84k unknown nafhornlog_normal.rnc 17-Nov-2015 17:12 52k unknown nafhornlog_relaxed.rnc 17-Nov-2015 17:12 56k unknown nafnegdatalog_normal.rnc 17-Nov-2015 17:12 48k unknown nafnegdatalog_relaxed.rnc 17-Nov-2015 17:12 48k unknown nafnegdisdatalogplus_normal.rnc 17-Nov-2015 17:12 60k unknown nafnegdisdatalogplus_relaxed.rnc 17-Nov-2015 17:12 60k unknown nafnegdishornlogplus_normal.rnc 17-Nov-2015 17:12 64k unknown nafnegdishornlogplus_relaxed.rnc 17-Nov-2015 17:12 68k unknown nafneghornlogeq_normal.rnc 17-Nov-2015 17:12 60k unknown nafneghornlogeq_relaxed.rnc 17-Nov-2015 17:12 60k unknown negdatalog_normal.rnc 17-Nov-2015 17:12 44k unknown negdatalog_relaxed.rnc 17-Nov-2015 17:12 48k

Proudly Served by LiteSpeed Web Server at deliberation.ruleml.org Port 80