Index of /people/tg75/cade/results/ssreflect/5-fold
      Name                                        Last modified       Size  Description

[DIR] Parent Directory 10-Feb-2015 09:41 - [TXT] kfoldsall_5_ssrfun_results_redblue-1-10000 02-Feb-2015 15:11 9k [TXT] kfoldsall_5_choice_results_redblue-1-10000 02-Feb-2015 15:11 11k [TXT] kfoldsall_5_eqtype_results_redblue-1-10000 02-Feb-2015 15:11 26k [TXT] kfoldsall_5_ssrbool_results_redblue-1-10000 02-Feb-2015 15:11 75k [TXT] kfoldsall_5_fintype_results_redblue-1-10000 02-Feb-2015 15:11 79k [TXT] kfoldsall_5_ssrnat_results_redblue-1-10000 02-Feb-2015 15:11 107k [TXT] kfoldsall_5_seq_results_redblue-1-10000 02-Feb-2015 15:11 135k

Apache/1.3.34 Server at www.cs.le.ac.uk Port 80