HERMIT.Dictionary.WorkerWrapper.Common
externals
data WWAssumptionTag
data WWAssumption
assumptionAClauseT
assumptionBClauseT
assumptionCClauseT
split1BetaR
split2BetaR
workLabel