at.jku.risc.stout.tgau.data.atom
Interfaces
Term
Classes
FunctionApplication
FunctionSymbol
HedgeVar
TermAtom
TermVar
Variable