reorganized folders and updated scripts accordingly.

.classpath

Test1.scala

Test4.scala

build.xml

examples/funcheck/BST.scala

examples/funcheck/ConsSnoc.scala

examples/funcheck/LambdaEvaluator.scala

examples/funcheck/LeftistHeap.scala

examples/funcheck/ListSet.scala

examples/funcheck/PropositionalLogic.scala

examples/funcheck/SetRedBlackTree.scala

examples/funcheck/kawaguchi_pldi2010/InsertSort.scala

examples/funcheck/kawaguchi_pldi2010/MapReduce.scala

examples/funcheck/kawaguchi_pldi2010/MergeSort.scala

examples/funcheck/kawaguchi_pldi2010/MergeSortBug.scala

examples/funcheck/kawaguchi_pldi2010/MiniBDD.scala

examples/funcheck/kawaguchi_pldi2010/PosSplayHeap.scala

examples/funcheck/kawaguchi_pldi2010/QuickSort.scala

examples/funcheck/kawaguchi_pldi2010/SplayHeap.scala

forall-tests.sh