ConForM.CoopnTools.Edit
Interface AddTheoremAble

All Known Implementing Classes:
CoopnNodeContextBody, CoopnNodeClassBody, CoopnNodeAdtBody

public interface AddTheoremAble

Node able to add an use symbol.


Method Summary
 void addTheorem()
           
 

Method Detail

addTheorem

public void addTheorem()