/Test/

• ../
• DataTypes.hs
• absterm.art
• absthm.art
• appterm.art
• assume.art
• axiom.art
• cons.art
• const.art
• constterm.art
• def.art
• name.art
• name2.art
• nil.art
• number.art
• opType.art
• pop.art
• ref.art
• refl.art
• remove.art
• timer.sh
• typeop.art
• var.art
• varterm.art
• vartype.art