8

dir
1423
https://godzilla.cs.toronto.edu/svn/XBel/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof2
https://godzilla.cs.toronto.edu/svn/XBel



2006-07-30T19:51:55.491069Z
859
arie


svn:special svn:externals svn:needs-lock











50e4fa33-75eb-0310-bee3-dc39415ff0d1

NewProofTreeModel.java
file




2008-05-15T19:58:35.000000Z
b9053bd1b7c8a1669c1621e87704b205
2004-12-22T18:31:09.962152Z
595
arie
has-props

ComparisonFormula.java
file




2008-05-15T19:58:35.000000Z
2a4c192993dfc2f79428dc876bba46a8
2004-12-22T18:31:09.962152Z
595
arie
has-props

TreeProofStep.java
file




2008-05-15T19:58:35.000000Z
b9edbeb58f5fac14b4f5a293be7f5919
2004-12-22T18:31:09.962152Z
595
arie
has-props

AbstractProofRule.java
file




2008-05-15T19:58:35.000000Z
45b1ba2dcbadeb781b602476144b10ec
2004-12-22T18:31:09.962152Z
595
arie
has-props

VisitedEXProofRule.java
file




2008-05-15T19:58:35.000000Z
66f5df94b4a84b317ac525cdddcf3605
2004-12-22T18:31:09.962152Z
595
arie
has-props

DepthProofRule.java
file




2008-05-15T19:58:35.000000Z
44a677cb54ad78f42320ab0bef757c08
2004-12-22T18:31:09.962152Z
595
arie
has-props

DynamicTree.java
file




2008-05-15T19:58:35.000000Z
dcc56fbcc741faf18625983aee9976bb
2004-12-22T18:31:09.962152Z
595
arie
has-props

Formula.java
file




2008-05-15T19:58:35.000000Z
1f6c832d0dcb2aa61d7dab4a02676b0c
2004-12-22T18:31:09.962152Z
595
arie
has-props

ProofStepFactory.java
file




2008-05-15T19:58:35.000000Z
09c98d12e52b5b4fc937b46c7a47d21a
2004-12-22T18:31:09.962152Z
595
arie
has-props

LeafProofStep.java
file




2008-05-15T19:58:35.000000Z
b3b13d51a0fa2162ac46421ddb72aa48
2004-12-22T18:31:09.962152Z
595
arie
has-props

ProofRule.java
file




2008-05-15T19:58:35.000000Z
e957b9189bd2dcca97c29424e9e2ca97
2004-12-22T18:31:09.962152Z
595
arie
has-props

Axiomatic.java
file




2008-05-15T19:58:35.000000Z
94bc1e4f86a5c1078b1716d5432f1f84
2004-12-22T18:31:09.962152Z
595
arie
has-props

ConstantFormula.java
file




2008-05-15T19:58:35.000000Z
6c293750fe9bd4f84d9910fe5759056f
2004-12-22T18:31:09.962152Z
595
arie
has-props

CTLProver.java
file




2008-05-15T19:58:35.000000Z
e7bee1a665a95a525533cf0f4164858b
2004-12-22T18:31:09.962152Z
595
arie
has-props

DynamicProofDisplay.java
file




2008-05-15T19:58:35.000000Z
cd03c19549c193d3f0e6724ecccbaa2d
2004-12-22T18:31:09.962152Z
595
arie
has-props

ProofStep.java
file




2008-05-15T19:58:35.000000Z
9c61cd5488ca8650e215c4dfcbfdc632
2004-12-22T18:31:09.962152Z
595
arie
has-props

AboveFormula.java
file




2008-05-15T19:58:35.000000Z
f9937465899262258af5ef5c5a570b7a
2004-12-22T18:31:09.962152Z
595
arie
has-props

ProofStepTreeModel.java
file




2008-05-15T19:58:35.000000Z
8db0fa930346c2d1918e614d5657aa1f
2004-12-22T18:31:09.962152Z
595
arie
has-props

ProofToGrappa.java
file




2008-05-15T19:58:35.000000Z
5fde5acaaea075d6ddf5a41023e4eaaf
2004-12-22T18:31:09.962152Z
595
arie
has-props

DepthVisitor.java
file




2008-05-15T19:58:35.000000Z
7232767148aeecef648b9ea12a0a31fa
2004-12-22T18:31:09.962152Z
595
arie
has-props

package-info.java
file




2008-05-15T19:58:35.000000Z
4be7e204fc2ac2bddc1e2c18cc6884d3
2006-07-30T19:51:55.491069Z
859
arie

GrappaNodePair.java
file




2008-05-15T19:58:35.000000Z
8cec5595c2b23ad82a676aa865f7a9f0
2004-12-22T18:31:09.962152Z
595
arie
has-props

FormulaRenderer.java
file




2008-05-15T19:58:35.000000Z
78b62d7aa62b5bf19f2f453b0756bb3b
2004-12-22T18:31:09.962152Z
595
arie
has-props

EqualFormula.java
file




2008-05-15T19:58:35.000000Z
a2d1472f8c294dd0aae1dba7da539532
2004-12-22T18:31:09.962152Z
595
arie
has-props

BelowFormula.java
file




2008-05-15T19:58:35.000000Z
7b7dd0b1c6889cd6a8ed595b8e6678d1
2004-12-22T18:31:09.962152Z
595
arie
has-props

ProofStepListModel.java
file




2008-05-15T19:58:35.000000Z
612999aaff950be4b76e160a1a7bb0ed
2004-12-22T18:31:09.962152Z
595
arie
has-props

