8

dir
1423
https://godzilla.cs.toronto.edu/svn/XBel/xbel/branches/ptyasm-release-april2008/jsrc/edu/toronto/cs/proof
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

SimpleNameGenerator.java
file




2008-05-15T19:58:33.000000Z
7eb2be958eb700d07a04861c90a7e342
2004-12-22T18:31:09.962152Z
595
arie
has-props

NodePair.java
file




2008-05-15T19:58:33.000000Z
d390ffb6e589230a116818b898e14172
2004-12-22T18:31:09.962152Z
595
arie
has-props

ProofStrategyCatalog.java
file




2008-05-15T19:58:33.000000Z
60517573327e97db767b5dd5dc24c4ec
2004-12-22T18:31:09.962152Z
595
arie
has-props

ProofVisitor.java
file




2008-05-15T19:58:33.000000Z
2004110af94c68edad418fe38148111a
2004-12-22T18:31:09.962152Z
595
arie
has-props

LinearWitnessVisitor.java
file




2008-05-15T19:58:33.000000Z
5ca71567e0189ab8013ba8ef4f55a56f
2004-12-22T18:31:09.962152Z
595
arie
has-props

ProofStrategy.java
file




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




2008-05-15T19:58:33.000000Z
cfecc7b710c02a45f8fbda66d28e6324
2004-12-22T18:31:09.962152Z
595
arie
has-props

GenericDisjStrategy.java
file




2008-05-15T19:58:33.000000Z
69b244924c67607563bac7a4a0339c86
2004-12-22T18:31:09.962152Z
595
arie
has-props

Simple2ValDisjStrategy.java
file




2008-05-15T19:58:33.000000Z
f7dcf603228c522c459749e3510a72e6
2004-12-22T18:31:09.962152Z
595
arie
has-props

EUProofStep.java
file




2008-05-15T19:58:33.000000Z
70daceacb255e97307500b93790f2b00
2004-12-22T18:31:09.962152Z
595
arie
has-props

NegProofStep.java
file




2008-05-15T19:58:33.000000Z
44ada53570b1b8272c738b46d9219ae2
2004-12-22T18:31:09.962152Z
595
arie
has-props

EXProofStep.java
file




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




2008-05-15T19:58:33.000000Z
22e52a088526b51ec4121abc805e746a
2004-12-22T18:31:09.962152Z
595
arie
has-props

PropProofStep.java
file




2008-05-15T19:58:33.000000Z
cf6111b7cb4eb1caf04615b18b401c24
2004-12-22T18:31:09.962152Z
595
arie
has-props

DisjProofStrategy.java
file




2008-05-15T19:58:33.000000Z
074b8f817c845a2aeea54881173486b1
2004-12-22T18:31:09.962152Z
595
arie
has-props

ProofToGrappa.java
file




2008-05-15T19:58:33.000000Z
39cc05cc84f90be76b1fbd9c70a2dd7a
2004-12-22T18:31:09.962152Z
595
arie
has-props

EUiProofStep.java
file




2008-05-15T19:58:33.000000Z
9e7ccdcaafaaa7126f6c8c38c0829c44
2004-12-22T18:31:09.962152Z
595
arie
has-props

ProofToOpenJ.java
file




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




2008-05-15T19:58:33.000000Z
cc613dbb4f9a36d167359d0f875133b8
2006-07-30T19:51:55.491069Z
859
arie

Proof.java
file




2008-05-15T19:58:33.000000Z
e9f365b880a0ce240a38efee6690e0fd
2004-12-22T18:31:09.962152Z
595
arie
has-props

ProofToDaVinci.java
file




2008-05-15T19:58:33.000000Z
3b62b4cc5280080ea1e3b6cc68031550
2004-12-22T18:31:09.962152Z
595
arie
has-props

ProofTreeModel.java
file




2008-05-15T19:58:33.000000Z
c6cb9de85e00c24a345bcde2a277091b
2004-12-22T18:31:09.962152Z
595
arie
has-props

StateNameGenerator.java
file




2008-05-15T19:58:33.000000Z
207969851179bf4d307c2999bc8250ba
2004-12-22T18:31:09.962152Z
595
arie
has-props

AbstractProofVisitor.java
file




2008-05-15T19:58:33.000000Z
2a6cba7ab3d3c875772b9ca0eda9e7bf
2004-12-22T18:31:09.962152Z
595
arie
has-props

DisjProofStep.java
file




2008-05-15T19:58:33.000000Z
4f39b3c271489d5b63aeee1f8f577f3a
2004-12-22T18:31:09.962152Z
595
arie
has-props

ConjProofStep.java
file




2008-05-15T19:58:33.000000Z
685595c5e65e5451e3be2fb8fa091a74
2004-12-22T18:31:09.962152Z
595
arie
has-props

GrappaNodePair.java
file




2008-05-15T19:58:33.000000Z
15a9ead6ed7bf26b5e2f1f4e975c6050
2004-12-22T18:31:09.962152Z
595
arie
has-props

OpenJNodePair.java
file




2008-05-15T19:58:33.000000Z
e335b69cbd11dd497e5d44607e33bb31
2004-12-22T18:31:09.962152Z
595
arie
has-props

EGProofStep.java
file




2008-05-15T19:58:33.000000Z
4c717b8261b50ffced45cd2e4336c4d6
2004-12-22T18:31:09.962152Z
595
arie
has-props

ProofStepListModel.java
file




2008-05-15T19:58:33.000000Z
7d0645c092842ba2037c0c98ad9b7c2a
2004-12-22T18:31:09.962152Z
595
arie
has-props

