IsaRARE IsaRARE is a plugin for Isabelle to create lemmas from term rewrite rules written in the RARE language. The user manual can be found in the docs/ subdirectory. To re-build the documentation run isabelle build -d. IsaRARE in the IsaRARE directory.