|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
AddAxiomAble | Node able to add an axiom symbol. |
AddBodyAble | Node able to add an use symbol. |
AddConsAble | Node able to add an use symbol. |
AddInterfaceAble | Node able to add an use symbol. |
AddVariableAble | Node able to add an use symbol. |
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |