at.jku.risc.stout.hoau.data.atom
Classes
BoundVariable
Function
Lambda
TermAtom
Variable