Contents of benchmark-papers-0.0.1

• NRev.curry
• NRevBench.curry
• README.txt
• nrev_plots.tex
• nrev_table.tex

• currycode.sty

• BenchmarkGoodies.curry
• Benchmarks.curry
• ExecuteBenchmarkPaper.curry