[isabelle] Benchmark suite for Isabelle's `rewrite` tactic

Hello everyone,

Is there a benchmark suite that tests the rewriting tactic of Isabelle or some
references we can read how it works/performs?

We are implementing a rewrite tactic for Liquid Haskell and it would be great
to compare it with Isabelle's.



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.