K 25
svn:wc:ra_dav:version-url
V 99
/topbraid/!svn/ver/7117/java/tb/trunk/org.topbraid.lib.spin/src-examples/org/topbraid/spin/examples
END
KennedysInferencingAndConstraintsExample.java
K 25
svn:wc:ra_dav:version-url
V 145
/topbraid/!svn/ver/7117/java/tb/trunk/org.topbraid.lib.spin/src-examples/org/topbraid/spin/examples/KennedysInferencingAndConstraintsExample.java
END
SPINParsingExample.java
K 25
svn:wc:ra_dav:version-url
V 123
/topbraid/!svn/ver/7117/java/tb/trunk/org.topbraid.lib.spin/src-examples/org/topbraid/spin/examples/SPINParsingExample.java
END
