Uses of Class
org.qedeq.kernel.se.dto.module.FormalProofListVo

Packages that use FormalProofListVo

org.qedeq.kernel.se.dto.module

Value objects for QEDEQ modules.

Uses of FormalProofListVo in org.qedeq.kernel.se.dto.module

Methods in org.qedeq.kernel.se.dto.module with parameters of type FormalProofListVo

void	PropositionVo.setFormalProofList(FormalProofListVo formalProofList) Set proof list.