Uses of Interface
edu.toronto.cs.proof2.Axiomatic

Packages that use Axiomatic
edu.toronto.cs.proof2   
 

Uses of Axiomatic in edu.toronto.cs.proof2
 

Classes in edu.toronto.cs.proof2 that implement Axiomatic
static class CTLProver.AtomicProofRule
           
static class CTLProver.CheckingTopBottom