Package wytp.proof.rules.function

Class Summary

Class	Description
FunctionCallAxiom
MacroExpansion	Responsible for inlining macro invocations from their definitions.