| /\ | G4ipProver.Proposition, G4ipProver |
| <== | G4ipProver.Proposition, G4ipProver |
| <=> | G4ipProver.Proposition, G4ipProver |
| ==> | G4ipProver.Proposition, G4ipProver |
| add | G4ipProver.Prover, G4ipProver |
| And | G4ipProver.Proposition, G4ipProver |
| AndImpLeft | G4ipProver.Prover, G4ipProver |
| AndLeft | G4ipProver.Prover, G4ipProver |
| Atom | G4ipProver.Proposition, G4ipProver |
| BottomL | G4ipProver.Prover, G4ipProver |
| Context | G4ipProver.Prover, G4ipProver |
| decide | G4ipProver.Prover, G4ipProver |
| elim | G4ipProver.Prover, G4ipProver |
| ElimOr | G4ipProver.Prover, G4ipProver |
| exportContexts | G4ipProver.LaTeXExporter, G4ipProver |
| F | G4ipProver.Proposition, G4ipProver |
| FImpLeft | G4ipProver.Prover, G4ipProver |
| Imp | G4ipProver.Proposition, G4ipProver |
| ImpImpLeft | G4ipProver.Prover, G4ipProver |
| ImpRight | G4ipProver.Prover, G4ipProver |
| InitRule | G4ipProver.Prover, G4ipProver |
| left | G4ipProver.Prover, G4ipProver |
| LeftBoth | G4ipProver.Prover, G4ipProver |
| neg | G4ipProver.Proposition, G4ipProver |
| Or | G4ipProver.Proposition, G4ipProver |
| OrImpLeft | G4ipProver.Prover, G4ipProver |
| OrRight1 | G4ipProver.Prover, G4ipProver |
| OrRight2 | G4ipProver.Prover, G4ipProver |
| parseProp | G4ipProver.Parser, G4ipProver |
| PImpLeft | G4ipProver.Prover, G4ipProver |
| proofToString | G4ipProver.LaTeXExporter, G4ipProver |
| ProofTree | G4ipProver.Prover, G4ipProver |
| Prop | G4ipProver.Proposition, G4ipProver |
| prove | G4ipProver.Prover, G4ipProver |
| right | G4ipProver.Prover, G4ipProver |
| SplitAnd | G4ipProver.Prover, G4ipProver |
| T | G4ipProver.Proposition, G4ipProver |
| TImpLeft | G4ipProver.Prover, G4ipProver |
| TopR | G4ipProver.Prover, G4ipProver |
| \/ | G4ipProver.Proposition, G4ipProver |