K 25
svn:wc:ra_dav:version-url
V 89
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof2
END
NewProofTreeModel.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/proof2/NewProofTreeModel.java
END
ComparisonFormula.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/proof2/ComparisonFormula.java
END
TreeProofStep.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/proof2/TreeProofStep.java
END
AbstractProofRule.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/proof2/AbstractProofRule.java
END
VisitedEXProofRule.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/proof2/VisitedEXProofRule.java
END
DepthProofRule.java
K 25
svn:wc:ra_dav:version-url
V 109
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof2/DepthProofRule.java
END
DynamicTree.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/proof2/DynamicTree.java
END
Formula.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/proof2/Formula.java
END
ProofStepFactory.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/proof2/ProofStepFactory.java
END
LeafProofStep.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/proof2/LeafProofStep.java
END
ProofRule.java
K 25
svn:wc:ra_dav:version-url
V 104
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof2/ProofRule.java
END
Axiomatic.java
K 25
svn:wc:ra_dav:version-url
V 104
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof2/Axiomatic.java
END
ConstantFormula.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/proof2/ConstantFormula.java
END
CTLProver.java
K 25
svn:wc:ra_dav:version-url
V 104
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof2/CTLProver.java
END
DynamicProofDisplay.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/proof2/DynamicProofDisplay.java
END
ProofStep.java
K 25
svn:wc:ra_dav:version-url
V 104
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof2/ProofStep.java
END
AboveFormula.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/proof2/AboveFormula.java
END
ProofStepTreeModel.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/proof2/ProofStepTreeModel.java
END
ProofToGrappa.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/proof2/ProofToGrappa.java
END
DepthVisitor.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/proof2/DepthVisitor.java
END
package-info.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/proof2/package-info.java
END
GrappaNodePair.java
K 25
svn:wc:ra_dav:version-url
V 109
/svn/XBel/!svn/ver/1414/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof2/GrappaNodePair.java
END
FormulaRenderer.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/proof2/FormulaRenderer.java
END
EqualFormula.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/proof2/EqualFormula.java
END
BelowFormula.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/proof2/BelowFormula.java
END
ProofStepListModel.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/proof2/ProofStepListModel.java
END
