wytp-0.5.7-sources.jar

<dependency>
	<groupId>org.whiley</groupId>
	<artifactId>wytp</artifactId>
	<version>0.5.7</version>
	<classifier>sources</classifier>
	<type>java-source</type>
</dependency>

org.whiley:wytp:0.5.7

META-INF/MANIFEST.MF
wyal/Activator.java
wyal/commands/VerifyCommand.java
wyal/heap/AbstractSyntacticHeap.java
wyal/heap/AbstractSyntacticItem.java
wyal/heap/StructurallyEquivalentHeap.java
wyal/heap/SyntacticHeaps.java
wyal/io/WyalFileLexer.java
wyal/io/WyalFileParser.java
wyal/io/WyalFilePrinter.java
wyal/lang/NameResolver.java
wyal/lang/SyntacticHeap.java
wyal/lang/SyntacticItem.java
wyal/lang/WyalFile.java
wyal/tasks/CompileTask.java
wyal/util/AbstractProjectCommand.java
wyal/util/TypeChecker.java
wyal/util/WyalFileResolver.java
wyal/WyalMain.java
wytp/proof/Formula.java
wytp/proof/io/ProofPrinter.java
wytp/proof/Proof.java
wytp/proof/rules/AndElimination.java
wytp/proof/rules/ArrayIndexAxiom.java
wytp/proof/rules/ArrayIndexCaseAnalysis.java
wytp/proof/rules/ArrayLengthAxiom.java
wytp/proof/rules/CongruenceClosure.java
wytp/proof/rules/EqualityCaseAnalysis.java
wytp/proof/rules/ExhaustiveQuantifierInstantiation.java
wytp/proof/rules/ExistentialElimination.java
wytp/proof/rules/FunctionCallAxiom.java
wytp/proof/rules/InequalityIntroduction.java
wytp/proof/rules/MacroExpansion.java
wytp/proof/rules/OrElimination.java
wytp/proof/rules/Simplification.java
wytp/proof/rules/TypeTestClosure.java
wytp/proof/util/AbstractClosureRule.java
wytp/proof/util/AbstractProof.java
wytp/proof/util/AbstractProofRule.java
wytp/proof/util/Arithmetic.java
wytp/proof/util/DeltaProof.java
wytp/proof/util/FastDelta.java
wytp/proof/util/Formulae.java
wytp/provers/AutomatedTheoremProver.java
wytp/types/extractors/ReadableArrayExtractor.java
wytp/types/extractors/ReadableRecordExtractor.java
wytp/types/extractors/TypeInvariantExtractor.java
wytp/types/SubtypeOperator.java
wytp/types/subtyping/CoerciveSubtypeOperator.java
wytp/types/TypeExtractor.java
wytp/types/TypeInferer.java
wytp/types/TypeSystem.java
wytp/types/util/AbstractTypeExtractor.java
wytp/types/util/NullTypeEnvironment.java
wytp/types/util/NullTypeInfererence.java