Index of /code.haskell.org/GenI/branches/FancyDisjunction/etc/perftest/

../
grammar-adjtest.geni                               15-Feb-2019 12:27              253555
lemmas.glex                                        15-Feb-2019 12:27              126625
lexselection-t33                                   15-Feb-2019 12:27              792917
semantics-adjunctions-hard                         15-Feb-2019 12:27                 254
semantics-adjunctions-t8                           15-Feb-2019 12:27                 137
semantics-t33                                      15-Feb-2019 12:27                 241