at.logic.gapt.formats.llk
The abstract class for tokens of an llk proof. TTokens represent type declarations, ATokens represent axiom and definition declarations, and RTokens represent a rule inference.
The abstract class for tokens of an llk proof. TTokens represent type declarations, ATokens represent axiom and definition declarations, and RTokens represent a rule inference.