Index of /1.01/simplified/

      Name                                                                             Last modified         Size  Description 
   
up Parent Directory 25-Jan-2018 19:55 - unknown bindatagroundfact_normal.rnc 25-Jan-2018 19:55 8k unknown bindatagroundfact_relaxed.rnc 25-Jan-2018 19:55 12k unknown bindatagroundlog_normal.rnc 25-Jan-2018 19:55 12k unknown bindatagroundlog_relaxed.rnc 25-Jan-2018 19:55 12k unknown bindatalog_normal.rnc 25-Jan-2018 19:55 12k unknown bindatalog_relaxed.rnc 25-Jan-2018 19:55 12k unknown datalog_min_normal.rnc 25-Jan-2018 19:55 4k unknown datalog_min_relaxed.rnc 25-Jan-2018 19:55 4k unknown datalog_normal.rnc 25-Jan-2018 19:55 12k unknown datalog_relaxed.rnc 25-Jan-2018 19:55 12k unknown datalogplus_mid_normal.rnc 25-Jan-2018 19:55 12k unknown datalogplus_mid_relaxed.rnc 25-Jan-2018 19:55 12k unknown datalogplus_min_normal.rnc 25-Jan-2018 19:55 8k unknown datalogplus_min_relaxed.rnc 25-Jan-2018 19:55 8k unknown disdatalog_min_normal.rnc 25-Jan-2018 19:55 4k unknown disdatalog_min_relaxed.rnc 25-Jan-2018 19:55 8k unknown disdatalogplus_mid_normal.rnc 25-Jan-2018 19:55 12k unknown disdatalogplus_mid_relaxed.rnc 25-Jan-2018 19:55 12k unknown disdatalogplus_min_normal.rnc 25-Jan-2018 19:55 8k unknown disdatalogplus_min_relaxed.rnc 25-Jan-2018 19:55 8k unknown dishornlog_normal.rnc 25-Jan-2018 19:55 16k unknown dishornlog_relaxed.rnc 25-Jan-2018 19:55 16k unknown folog_normal.rnc 25-Jan-2018 19:55 20k unknown folog_relaxed.rnc 25-Jan-2018 19:55 20k unknown fologeq_normal.rnc 25-Jan-2018 19:55 20k unknown fologeq_relaxed.rnc 25-Jan-2018 19:55 24k unknown hornlog_normal.rnc 25-Jan-2018 19:55 16k unknown hornlog_relaxed.rnc 25-Jan-2018 19:55 16k unknown hornlogeq_normal.rnc 25-Jan-2018 19:55 16k unknown hornlogeq_relaxed.rnc 25-Jan-2018 19:55 16k unknown nafdatalog_normal.rnc 25-Jan-2018 19:55 12k unknown nafdatalog_relaxed.rnc 25-Jan-2018 19:55 16k unknown naffolog_normal.rnc 25-Jan-2018 19:55 20k unknown naffolog_relaxed.rnc 25-Jan-2018 19:55 24k unknown naffologeq_normal.rnc 25-Jan-2018 19:55 20k unknown naffologeq_relaxed.rnc 25-Jan-2018 19:55 24k unknown nafhornlog_normal.rnc 25-Jan-2018 19:55 16k unknown nafhornlog_relaxed.rnc 25-Jan-2018 19:55 16k unknown nafnegdatalog_normal.rnc 25-Jan-2018 19:55 12k unknown nafnegdatalog_relaxed.rnc 25-Jan-2018 19:55 16k unknown nafnegdisdatalogplus_normal.rnc 25-Jan-2018 19:55 16k unknown nafnegdisdatalogplus_relaxed.rnc 25-Jan-2018 19:55 20k unknown nafnegdishornlogplus_normal.rnc 25-Jan-2018 19:55 20k unknown nafnegdishornlogplus_relaxed.rnc 25-Jan-2018 19:55 20k unknown nafneghornlogeq_normal.rnc 25-Jan-2018 19:55 16k unknown nafneghornlogeq_relaxed.rnc 25-Jan-2018 19:55 20k unknown negdatalog_normal.rnc 25-Jan-2018 19:55 12k unknown negdatalog_relaxed.rnc 25-Jan-2018 19:55 16k

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