Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
Hilbert II - Version 0.01.09
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.qedeq.kernel.base.module
Interface Proof

All Known Implementing Classes:
ProofBo, ProofVo
public interface Proof

Contains a proof for a proposition. LATER mime 20050220: add formal proof

Version:
$Revision: 1.4 $

Method Summary
 LatexList getNonFormalProof()
          Get proof content.
 

Method Detail

getNonFormalProof

public LatexList getNonFormalProof()
Get proof content.

Returns:
LaTeX proof text.
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
Hilbert II - Version 0.01.09
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
©left GNU General Public Licence
All Rights Reserved.