at.logic.gapt.proofs.gaptic
Object that wraps helper function to generate new label from an existing one
Actual helper function for a fresh variable.
Object that wraps helper function to generate new label from an existing one