Agda-2.3.2.2: benchmark/logs/20081126-12.59-ulf-norells-macbook-pro/README

After changes to positivity checker to
handle induction recursion.