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

Packages that use Axiomatic
edu.toronto.cs.proof2 Provides classes for representing, manipulating, and constructing proofs for CTL formulas (NEW) 
 

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