K 25
svn:wc:ra_dav:version-url
V 88
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof
END
SimpleNameGenerator.java
K 25
svn:wc:ra_dav:version-url
V 113
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/SimpleNameGenerator.java
END
NodePair.java
K 25
svn:wc:ra_dav:version-url
V 102
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/NodePair.java
END
ProofStrategyCatalog.java
K 25
svn:wc:ra_dav:version-url
V 114
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/ProofStrategyCatalog.java
END
ProofVisitor.java
K 25
svn:wc:ra_dav:version-url
V 106
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/ProofVisitor.java
END
LinearWitnessVisitor.java
K 25
svn:wc:ra_dav:version-url
V 114
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/LinearWitnessVisitor.java
END
ProofStrategy.java
K 25
svn:wc:ra_dav:version-url
V 107
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/ProofStrategy.java
END
ProofStepFactory.java
K 25
svn:wc:ra_dav:version-url
V 110
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/ProofStepFactory.java
END
GenericDisjStrategy.java
K 25
svn:wc:ra_dav:version-url
V 113
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/GenericDisjStrategy.java
END
Simple2ValDisjStrategy.java
K 25
svn:wc:ra_dav:version-url
V 116
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/Simple2ValDisjStrategy.java
END
EUProofStep.java
K 25
svn:wc:ra_dav:version-url
V 105
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/EUProofStep.java
END
NegProofStep.java
K 25
svn:wc:ra_dav:version-url
V 106
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/NegProofStep.java
END
EXProofStep.java
K 25
svn:wc:ra_dav:version-url
V 105
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/EXProofStep.java
END
ProofStep.java
K 25
svn:wc:ra_dav:version-url
V 103
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/ProofStep.java
END
PropProofStep.java
K 25
svn:wc:ra_dav:version-url
V 107
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/PropProofStep.java
END
DisjProofStrategy.java
K 25
svn:wc:ra_dav:version-url
V 111
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/DisjProofStrategy.java
END
ProofToGrappa.java
K 25
svn:wc:ra_dav:version-url
V 107
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/ProofToGrappa.java
END
EUiProofStep.java
K 25
svn:wc:ra_dav:version-url
V 106
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/EUiProofStep.java
END
ProofToOpenJ.java
K 25
svn:wc:ra_dav:version-url
V 106
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/ProofToOpenJ.java
END
package-info.java
K 25
svn:wc:ra_dav:version-url
V 106
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/package-info.java
END
Proof.java
K 25
svn:wc:ra_dav:version-url
V 99
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/Proof.java
END
ProofToDaVinci.java
K 25
svn:wc:ra_dav:version-url
V 108
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/ProofToDaVinci.java
END
ProofTreeModel.java
K 25
svn:wc:ra_dav:version-url
V 108
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/ProofTreeModel.java
END
StateNameGenerator.java
K 25
svn:wc:ra_dav:version-url
V 112
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/StateNameGenerator.java
END
AbstractProofVisitor.java
K 25
svn:wc:ra_dav:version-url
V 114
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/AbstractProofVisitor.java
END
DisjProofStep.java
K 25
svn:wc:ra_dav:version-url
V 107
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/DisjProofStep.java
END
ConjProofStep.java
K 25
svn:wc:ra_dav:version-url
V 107
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/ConjProofStep.java
END
GrappaNodePair.java
K 25
svn:wc:ra_dav:version-url
V 108
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/GrappaNodePair.java
END
OpenJNodePair.java
K 25
svn:wc:ra_dav:version-url
V 107
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/OpenJNodePair.java
END
EGProofStep.java
K 25
svn:wc:ra_dav:version-url
V 105
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/EGProofStep.java
END
ProofStepListModel.java
K 25
svn:wc:ra_dav:version-url
V 112
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof/ProofStepListModel.java
END
