wytp-0.5.0-sources.jar

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

org.whiley:wytp:0.5.0

META-INF/MANIFEST.MF
wyal/Activator.java
wyal/commands/CompileCommand.java
wyal/io/WyalFileLexer.java
wyal/io/WyalFileParser.java
wyal/io/WyalFilePrinter.java
wyal/lang/Formula.java
wyal/lang/Proof.java
wyal/lang/SyntacticHeap.java
wyal/lang/SyntacticItem.java
wyal/lang/Types.wyrl
wyal/lang/WyalFile.java
wyal/tasks/CompileTask.java
wyal/util/AbstractProjectCommand.java
wyal/util/AbstractSyntacticHeap.java
wyal/util/AbstractSyntacticItem.java
wyal/util/AutomatedTheoremProver.java
wyal/util/Formulae.java
wyal/util/Polynomials.java
wyal/util/StructurallyEquivalentHeap.java
wyal/util/SyntacticHeaps.java
wyal/util/TypeChecker.java
wyal/util/TypeSystem.java
wyal/WycsMain.java