include/dlvhex/Term.h: Enhanced documentation. Changed type Type to TermType.
include/dlvhex/Term.h: Enhanced documentation. Changed type Type to
TermType.


hexhex/core,hexhex/core,hexhex/core,hexhex/core