Index - G
| GApp | Data.TSTP |
| GData | Data.TSTP |
| GDistinctObject | Data.TSTP |
| getAxioms | T2A |
| getConjeture | T2A |
| getFreeVars | Data.TSTP |
| getParents | Data.Proof |
| getParentsTree | Data.Proof |
| getRefutes | T2A |
| getSubGoals | T2A |
| GFormulaData | Data.TSTP |
| GFormulaTerm | Data.TSTP |
| GList | Data.TSTP |
| GNumber | Data.TSTP |
| GTerm | |
| 1 (Type/Class) | Data.TSTP |
| 2 (Data Constructor) | Data.TSTP |
| GVar | Data.TSTP |
| GWord | Data.TSTP |