summaryrefslogtreecommitdiff
path: root/test
ModeNameSize
-rw-r--r--absterm.art108logplain
-rw-r--r--absthm.art95logplain
-rw-r--r--appterm.art146logplain
-rw-r--r--appthm.art155logplain
-rw-r--r--assume.art55logplain
-rw-r--r--axiom.art58logplain
-rw-r--r--betaconv.art119logplain
-rw-r--r--cons.art23logplain
-rw-r--r--const.art13logplain
-rw-r--r--constterm.art48logplain
-rw-r--r--deductantisym.art81logplain
-rw-r--r--def.art31logplain
-rw-r--r--defineconst.art61logplain
-rw-r--r--definetypeop.art173logplain
-rw-r--r--eqmp.art187logplain
-rw-r--r--name.art7logplain
-rw-r--r--name2.art5logplain
-rw-r--r--nil.art4logplain
-rw-r--r--null.art0logplain
-rw-r--r--number.art3logplain
-rw-r--r--opType.art25logplain
-rw-r--r--pop.art8logplain
-rw-r--r--ref.art37logplain
-rw-r--r--refl.art39logplain
-rw-r--r--remove.art40logplain
-rw-r--r--subst.art273logplain
-rw-r--r--thm.art114logplain
-rw-r--r--timer.sh57logplain
-rw-r--r--typeop.art14logplain
-rw-r--r--var.art26logplain
-rw-r--r--varterm.art34logplain
-rw-r--r--vartype.art15logplain