Uses of Class
edu.toronto.cs.proof2.CTLProver

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

Uses of CTLProver in edu.toronto.cs.proof2
 

Methods in edu.toronto.cs.proof2 with parameters of type CTLProver
static void DynamicProofDisplay.showProof(CTLProver prover, ProofStep step)