This is a development version of this entry. It might change over time and is not stable.
Please refer to release versions for citations.
This article provides a collection of experimental utilities for
unoverloading of definitions and synthesis of conditional transfer
rules for the object logic Isabelle/HOL of the formal proof assistant
Isabelle written in Isabelle/ML.