<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
  <component name="MPSProject">
    <projectModules>
      <modulePath path="$PROJECT_DIR$/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl" folder="" />
      <modulePath path="$PROJECT_DIR$/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl" folder="" />
      <modulePath path="$PROJECT_DIR$/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl" folder="" />
      <modulePath path="$PROJECT_DIR$/languages/samples.fitch/samples.fitch.mpl" folder="" />
      <modulePath path="$PROJECT_DIR$/solutions/samples.fitch.build/samples.fitch.build.msd" folder="" />
      <modulePath path="$PROJECT_DIR$/solutions/samples.fitch.demo/samples.fitch.demo.msd" folder="" />
    </projectModules>
  </component>
</project>