# Conditional Transfer Rule

 Title: Conditional Transfer Rule Author: Mihails Milehins Submission date: 2021-09-06 Abstract: 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. BibTeX: @article{Conditional_Transfer_Rule-AFP, author = {Mihails Milehins}, title = {Conditional Transfer Rule}, journal = {Archive of Formal Proofs}, month = sep, year = 2021, note = {\url{https://isa-afp.org/entries/Conditional_Transfer_Rule.html}, Formal proof development}, ISSN = {2150-914x}, } License: BSD License Used by: Types_To_Sets_Extension