edu.toronto.cs.proof2
Interface Axiomatic

All Known Implementing Classes:
CTLProver.AtomicProofRule, CTLProver.CheckingTopBottom

public interface Axiomatic