fmrisc.ProofNavigator.Commands

Class Skolemize