Index of /1.01/exa/DatalogPlus/datalogplus_min/

      Name                                                                             Last modified         Size  Description 
   
up Parent Directory 30-Nov-2015 09:18 - unknown datalogplus_min_part1.ruleml 30-Nov-2015 09:18 8k unknown datalogplus_min_part1.tptp 30-Nov-2015 09:18 4k unknown datalogplus_min_part2.ruleml 30-Nov-2015 09:18 4k unknown datalogplus_min_part2.tptp 30-Nov-2015 09:18 4k unknown datalogplus_min_part3.ruleml 30-Nov-2015 09:18 4k unknown datalogplus_min_part3.tptp 30-Nov-2015 09:18 4k

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