|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ObservedSpecListImpl | |
---|---|
de.cau.cs.kieler.quartz.editor.quartz.impl |
Uses of ObservedSpecListImpl in de.cau.cs.kieler.quartz.editor.quartz.impl |
---|
Subclasses of ObservedSpecListImpl in de.cau.cs.kieler.quartz.editor.quartz.impl | |
---|---|
class |
ProofGoalListImpl
An implementation of the model object 'Proof Goal List'. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |