Term.UnitTests

testEqual

testTrue

testsMatching

propMatchSound

testsUnify

propUnifySound

testsSubst

testsSubs

ppLTerm

ppLSubst

testsNorm

testsTerm

propSubtermReplace

bigTerm

normBigTerm

tcompare

testsVariant

testsSimple

tests

allMaudeSig

te

sub4

sub6

sub4'

sub6'

tevs

runTest

pair

expo

inv

union

mult

one