Uses of Class
jml2b.pog.lemma.VirtualFormula

Packages that use VirtualFormula
jml2b.pog.lemma   
 

Uses of VirtualFormula in jml2b.pog.lemma
 

Methods in jml2b.pog.lemma with parameters of type VirtualFormula
 boolean Proofs.isUsed(VirtualFormula vf)
          Test wheter an hypothesis is used in the theorems.
 

Constructors in jml2b.pog.lemma with parameters of type VirtualFormula
Goal(VirtualFormula vf, GoalOrigin origin)
          Constructs a goal from a formula and an origin.