/test/

• ../
• absterm.art
• absthm.art
• appterm.art
• appthm.art
• assume.art
• axiom.art
• betaconv.art
• cons.art
• const.art
• constterm.art
• deductantisym.art
• def.art
• defineconst.art
• definetypeop.art
• eqmp.art
• name.art
• name2.art
• nil.art
• null.art
• number.art
• opType.art
• pop.art
• ref.art
• refl.art
• remove.art
• subst.art
• thm.art
• timer.sh
• typeop.art
• var.art
• varterm.art
• vartype.art