/Test/test20/

• ../
• Answer
• Coercions.bpl
• EmptySeq.bpl
• ParallelAssignment.bpl
• ParallelAssignment2.bpl
• PolyFuns0.bpl
• PolyFuns1.bpl
• PolyPolyPoly.bpl
• PolyPolyPoly2.bpl
• PolyProcs0.bpl
• ProcParamReordering.bpl
• Prog0.bpl
• Prog1.bpl
• Prog2.bpl
• TypeDecls0.bpl
• TypeDecls1.bpl
• TypeSynonyms0.bpl
• TypeSynonyms1.bpl
• TypeSynonyms2.bpl
• runtest.bat