Uses of Class
fmrisc.ProofNavigator.Syntax.TimesTerm

Packages that use TimesTerm

Package	Description
fmrisc.ProofNavigator.Syntax

Uses of TimesTerm in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return TimesTerm

Modifier and Type	Method and Description
static TimesTerm	Construct.timesTerm(Expression base1, Expression base2) construct binary product with components base1 and base2