/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/
../
GenerateVampireLanguage.mwe2
VampireLanguage.xtext
VampireLanguageRuntimeModule.xtend
VampireLanguageStandaloneSetup.xtend
formatting2
generator
scoping
validation