Interfaces
AddAxiomAble
AddBodyAble
AddContextUseAble
AddCreationAble
AddDestructionAble
AddGateAble
AddGeneratorAble
AddInheritAble
AddInitialAble
AddInterfaceAble
AddMethodAble
AddMorphismAble
AddObjectAble
AddOperationAble
AddPlaceAble
AddRenameAble
AddSortAble
AddSubsortAble
AddSubtypesAble
AddTheoremAble
AddTransitionAble
AddTypeAble
AddUseAble
AddVariableAble
ModuleNameObserver |