upgrayedd to scala 2.11.1. adjusted build.sbt. you may need to re-generate project files.
upgrayedd to scala 2.11.1. adjusted build.sbt. you may need to re-generate project files.

lex-lex/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,leoprover/Leo-III