Rebasing

.gitignore

.larabot.conf

build.sbt

leon.out/Conqueue-edited.scala

library/annotation/package.scala

library/collection/package.scala

library/lang/Either.scala

library/lang/StrOps.scala

library/lang/package.scala

library/lang/string/String.scala

library/lang/string/package.scala

library/lazy/package.scala

results/21-jan/Conqueue.out

results/21-jan/Esop.out

results/21-jan/MsortBU.out

results/21-jan/Num.out

results/21-jan/NumRep.out

results/21-jan/RDQ.out

results/21-jan/RTQ.out

results/21-jan/Sort.out