Uses of Class
de.cau.cs.kieler.quartz.editor.quartz.impl.ObservedSpecListImpl

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'.