<?xml version="1.0" encoding="UTF-8"?>
<classpath>
	<classpathentry excluding="edu/udel/cis/vsl/minimp/front/minimp/parser/__Test__.java" including="edu/" kind="src" path="src"/>
	<classpathentry kind="src" output="bin-test" path="test"/>
	<classpathentry kind="src" output="bin-examples" path="examples"/>
	<classpathentry exported="true" kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
	<classpathentry exported="true" kind="con" path="org.eclipse.jdt.junit.JUNIT_CONTAINER/4"/>
	<classpathentry kind="var" path="CVC3" sourcepath="/CVC3_source"/>
	<classpathentry kind="var" path="ANTLR"/>
	<classpathentry kind="output" path="bin"/>
</classpath>
