test ../TEST/wiki-examples/Big_algebraic_solver.cfg
test ../TEST/wiki-examples/Bracket_abstraction.cfg
test ../TEST/wiki-examples/C_machine_and_focusing.cfg
test ../TEST/wiki-examples/C_machine_and_focusing_(composition_in_machine_state).cfg
test ../TEST/wiki-examples/C_machine_and_focusing_(internalized_compositon).cfg
test ../TEST/wiki-examples/Church-Rosser_(w__catch-all_case).cfg
test ../TEST/wiki-examples/Church-Rosser_(w__identity_reduction).cfg
test ../TEST/wiki-examples/Church-Rosser_via_complete_development.cfg
test ../TEST/wiki-examples/Concrete_representation.cfg
test ../TEST/wiki-examples/Correctness_of_mergesort.cfg
testUnsafe ../TEST/wiki-examples/Double-negation_translation.cfg
test ../TEST/wiki-examples/Evaluation_contexts.cfg
test ../TEST/wiki-examples/Focusing.cfg
test ../TEST/wiki-examples/HOAS_nat_bijection.cfg
testUnsafe ../TEST/wiki-examples/Hereditary_substitution_with_a_zipper.cfg
test ../TEST/wiki-examples/Indexed_HOAS_nat_bijection.cfg
test ../TEST/wiki-examples/Iterated_Let_Bindings.cfg
test ../TEST/wiki-examples/Letrec.cfg
testUnsafe ../TEST/wiki-examples/MinMLToMinHaskell.cfg
test ../TEST/wiki-examples/Modally_Propositional_Logic.cfg
test ../TEST/wiki-examples/Modes_of_use.cfg
test ../TEST/wiki-examples/Mutable_state.cfg
test ../TEST/wiki-examples/Natural_numbers_with_inequality.cfg
test ../TEST/wiki-examples/Negation_as_failure.cfg
test ../TEST/wiki-examples/POPL_Tutorial_Basics_Answer.cfg
test ../TEST/wiki-examples/POPL_Tutorial_Basics_Starter.cfg
test ../TEST/wiki-examples/POPL_Tutorial_Big_step,_small_step__Solution.cfg
test ../TEST/wiki-examples/POPL_Tutorial_CPS_Solution2.cfg
test ../TEST/wiki-examples/POPL_Tutorial_CPS_Solutions.cfg
test ../TEST/wiki-examples/POPL_Tutorial_Church_Rosser_(Problem).cfg
test ../TEST/wiki-examples/POPL_Tutorial_Combinators_(karl).cfg
test ../TEST/wiki-examples/POPL_Tutorial_Combinators_Answer.cfg
test ../TEST/wiki-examples/POPL_Tutorial_Combinators_Support.cfg
test ../TEST/wiki-examples/POPL_Tutorial_Combinators_session.cfg
test ../TEST/wiki-examples/POPL_Tutorial_Combinators_session_(answers).cfg
test ../TEST/wiki-examples/POPL_Tutorial_Control_machine.cfg
test ../TEST/wiki-examples/POPL_Tutorial_Cost_semantics.cfg
test ../TEST/wiki-examples/POPL_Tutorial_Evaluation_Contexts_Intrinsic.cfg
test ../TEST/wiki-examples/POPL_Tutorial_Exceptions.cfg
test ../TEST/wiki-examples/POPL_Tutorial_MinML_Answer.cfg
test ../TEST/wiki-examples/POPL_Tutorial_MinML_Preservation_Theorem__Solution.cfg
test ../TEST/wiki-examples/POPL_Tutorial_MinML_Starter.cfg
test ../TEST/wiki-examples/POPL_Tutorial_Nat.cfg
test ../TEST/wiki-examples/POPL_Tutorial_New_language.cfg
test ../TEST/wiki-examples/POPL_Tutorial_Pattern_matching.cfg
test ../TEST/wiki-examples/POPL_Tutorial_Sequent_vs_Natural_Deduction__Solution.cfg
test ../TEST/wiki-examples/POPL_Tutorial_Session_2_Answer.cfg
test ../TEST/wiki-examples/POPL_Tutorial_Session_2_Starter.cfg
test ../TEST/wiki-examples/POPL_Tutorial_Session_4_Answer.cfg
test ../TEST/wiki-examples/POPL_Tutorial_Session_4_Starter.cfg
test ../TEST/wiki-examples/POPL_Tutorial_Typed_bracket_abstraction_(solution).cfg
test ../TEST/wiki-examples/POPL_Tutorial_Typed_bracket_abstraction_with_equivalence.cfg
test ../TEST/wiki-examples/POPL_Tutorial_cps.cfg
test ../TEST/wiki-examples/POPL_Tutorial_cps-problem.cfg
test ../TEST/wiki-examples/POPL_Tutorial_cps-problem2.cfg
test ../TEST/wiki-examples/POPL_Tutorial_cps-rp.cfg
test ../TEST/wiki-examples/Pattern_matching.cfg
testUnsafe ../TEST/wiki-examples/Polarized_PCF.cfg
test ../TEST/wiki-examples/Summer_school_2008_Alternate_typed_arithmetic_expressions_with_sums.cfg
test ../TEST/wiki-examples/Summer_school_2008_Arithmetic_expressions.cfg
test ../TEST/wiki-examples/Summer_school_2008_Arithmetic_expressions_with_call-by-value_let-binding.cfg
test ../TEST/wiki-examples/Summer_school_2008_Arithmetic_expressions_with_let-binding.cfg
test ../TEST/wiki-examples/Summer_school_2008_Arithmetic_expressions_with_let-binding_(hypothetical_evaluation).cfg
test ../TEST/wiki-examples/Summer_school_2008_Encoding_of_System_F.cfg
test ../TEST/wiki-examples/Summer_school_2008_Type_safety_for_MinML_(extrinsic_encoding).cfg
test ../TEST/wiki-examples/Summer_school_2008_Type_safety_for_MinML_(intrinsic_encoding).cfg
test ../TEST/wiki-examples/Summer_school_2008_Type_safety_for_MinML_with_monadic_effects.cfg
test ../TEST/wiki-examples/Summer_school_2008_Type_safety_for_MinML_with_monadic_effects_(putngetn).cfg
test ../TEST/wiki-examples/Summer_school_2008_Type_safety_for_polymorphic_MinML_(intrinsic_encoding).cfg
test ../TEST/wiki-examples/Summer_school_2008_Typed_arithmetic_expressions.cfg
test ../TEST/wiki-examples/Summer_school_2008_Typed_arithmetic_expressions_(extrinsic_encoding).cfg
test ../TEST/wiki-examples/Summer_school_2008_Typed_arithmetic_expressions_(value).cfg
test ../TEST/wiki-examples/Summer_school_2008_Typed_arithmetic_expressions_with_pairs.cfg
test ../TEST/wiki-examples/Summer_school_2008_Typed_arithmetic_expressions_with_sums.cfg
test ../TEST/wiki-examples/Summer_school_2008_Typed_arithmetic_expressions_with_sums_2.cfg
test ../TEST/wiki-examples/TAT_plus.elf.cfg
test ../TEST/wiki-examples/Tabled_logic_programming.cfg
test ../TEST/wiki-examples/Tactical_theorem_proving.cfg
test ../TEST/wiki-examples/Tethered_modal_logic.cfg
test ../TEST/wiki-examples/The_Twelf_Project_Literate_Twelf_Sample_Page.cfg
test ../TEST/wiki-examples/TwelfTag.cfg
test ../TEST/wiki-examples/Typed_combinators_soundness_and_completeness.cfg
test ../TEST/wiki-examples/User_Hdeyoung_modal.elf.cfg
test ../TEST/wiki-examples/User_Hdeyoung_subord.elf.cfg
test ../TEST/wiki-examples/User_Rsimmons_CR2.cfg
test ../TEST/wiki-examples/User_Rsimmons_Fluid_binding.cfg
test ../TEST/wiki-examples/User_Rsimmons_Handled_exceptions.cfg
test ../TEST/wiki-examples/User_Rsimmons_Homework_6.cfg
test ../TEST/wiki-examples/User_Rsimmons_Homework_7__Proofs_In_Twelf.cfg
test ../TEST/wiki-examples/User_Rsimmons_Lecture_20__Logic_Programming.cfg
test ../TEST/wiki-examples/User_Rsimmons_Lecture_23__Typed_Lambda_Calculus_in_Twelf.cfg
test ../TEST/wiki-examples/User_Rsimmons_Subtype.cfg
test ../TEST/wiki-examples/User_Rsimmons_fillholes.elf.cfg
test ../TEST/wiki-examples/Verifications_and_uses.cfg
test ../TEST/wiki-examples/Verifications_and_uses_with_zippers.cfg
test ../TEST/wiki-examples/Weak_focusing.cfg