<?xml version="1.0" encoding="UTF-8"?>
<classpath>
	<classpathentry excluding="circusRefine/parserAction/grammar/|circusRefine/parserArg/grammar/|circusRefine/lawTypechecker/|circusRefine/core/build/|circusRefine/core/clone/|circusRefine/core/CircusRefineCore.java|circusRefine/core/unification/|circusRefine/core/update/|circusRefine/core/printUni/|circusRefine/parser/CircusRefineParser.java|circusRefine/parser/grammar/|circusRefine/core/find/|circusRefine/core/util/Builder.java|circusRefine/core/util/Unifier.java|java_cup/|circusRefine/parser/|circusRefine/storage/|circusRefine/core/crules/ast/|circusRefine/core/crules/impl/|circusRefine/core/util/AuxiliarPrintVisitor.java|circusRefine/core/util/AuxiliarSaveVisitor.java|circusRefine/core/crules/RunTimeUnificationException.java|circusRefine/core/crules/Functions.java|circusRefine/core/util/RealTermGetter.java|circusRefine/core/crules/anotations/SubsWordAnn.java|circusrefine/storage/|circusrefine/lawTypechecker/extract/|circusrefine/lawTypechecker/util/|circusrefine/parser/|circusrefine/parser/grammar/|circusrefine/parser/grammar/table/|circusRefine/parserAction/|circusRefine/parserArg/|circusrefine/lawTypechecker/|circusRefine/util/printLatex/|circusRefine/core/storage/MudancaMarkup.java|circusRefine/core/storage/EdicaoComentario.java|circusRefine/core/EditCommentAnswer.java|circusRefine/core/storage/AdicaoDeTodosComentarios.java|circusRefine/core/opsdischarge/CompatibilityTester.java|circusRefine/core/opsdischarge/util/ConjuntoTermos.java|circusRefine/core/opsdischarge/util/EqualityVisitor.java|circusRefine/core/crules/utils/SchemaNamesSubstituteToDefinition.java|jcircus/classesdescompiladas/|jcircus/TesteNewPar/paper/src/|jcircus/Paramtest/paper/src/|jcircus/JCSPUnit/|jcircus/complementaryenvs/ChanProcessNameSetEnv.java|jcircus/complementaryenvs/ChanSetOfProcessIdSetsEnv.java|jcircus/complementaryenvs/ProcCSOPIdSEnv.java|jcircus/templates/" kind="src" path="src"/>
	<classpathentry kind="src" path="internacionalizacao"/>
	<classpathentry exported="true" kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
	<classpathentry kind="lib" path="lib/xpp3_min-1.1.3.4.O.jar"/>
	<classpathentry kind="lib" path="lib/xstream-1.2.2.jar"/>
	<classpathentry kind="lib" path="lib/czt.jar"/>
	<classpathentry kind="lib" path="lib/circusTypechecker.jar"/>
	<classpathentry kind="lib" path="lib/jcsp-core.jar"/>
	<classpathentry kind="lib" path="lib/jcsp-demos-util.jar"/>
	<classpathentry kind="lib" path="lib/jcsp.jar"/>
	<classpathentry kind="lib" path="lib/newjcircusutil.jar"/>
	<classpathentry kind="lib" path="lib/velocity-1.4.jar"/>
	<classpathentry kind="lib" path="lib/velocity-dep-1.4.jar"/>
	<classpathentry combineaccessrules="false" kind="src" path="/ZB2SMT"/>
	<classpathentry kind="output" path="bin"/>
</classpath>