K 25
svn:wc:ra_dav:version-url
V 91
/topbraid/!svn/ver/8708/java/tb/trunk/org.topbraid.lib.spin/src/org/topbraid/spin/inference
END
SPINStatistics.java
K 25
svn:wc:ra_dav:version-url
V 111
/topbraid/!svn/ver/7079/java/tb/trunk/org.topbraid.lib.spin/src/org/topbraid/spin/inference/SPINStatistics.java
END
SPINExplanations.java
K 25
svn:wc:ra_dav:version-url
V 113
/topbraid/!svn/ver/7059/java/tb/trunk/org.topbraid.lib.spin/src/org/topbraid/spin/inference/SPINExplanations.java
END
package.html
K 25
svn:wc:ra_dav:version-url
V 104
/topbraid/!svn/ver/7064/java/tb/trunk/org.topbraid.lib.spin/src/org/topbraid/spin/inference/package.html
END
SPINConstructors.java
K 25
svn:wc:ra_dav:version-url
V 113
/topbraid/!svn/ver/8708/java/tb/trunk/org.topbraid.lib.spin/src/org/topbraid/spin/inference/SPINConstructors.java
END
SPINInferences.java
K 25
svn:wc:ra_dav:version-url
V 111
/topbraid/!svn/ver/8009/java/tb/trunk/org.topbraid.lib.spin/src/org/topbraid/spin/inference/SPINInferences.java
END
