10

dir
3251
svn://rumster@localhost/msagiv/trunk/tvla3/src/tvla/formulae
svn://rumster@localhost/msagiv



2009-08-07T01:43:51.704299Z
3251
rumster














75ec75b9-4e0e-46af-b67c-fb7ce69e52ca

FormulaTraverser.java
file




2009-01-05T21:15:51.796875Z
2f9b5100aa6a9b2c0fa07a9610ac8d80
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















147

OrFormula.java
file




2009-01-05T21:15:51.812500Z
0a720a771882b847223ed582d06a6140
2008-10-05T10:27:49.000000Z
2693
tla
has-props




















6437

AllQuantFormula.java
file




2009-01-05T21:15:51.828125Z
443e4195c62ee99e57fddb83c8da0f73
2008-10-06T20:51:42.000000Z
2706
tla
has-props




















8614

formula.cup
file




2009-01-05T21:15:51.843750Z
7fc3801eb3338df20d2af6e4ee115812
2008-10-05T10:27:49.000000Z
2693
tla
has-props




















16974

formula.lex
file




2009-01-05T21:15:51.859375Z
de533bf0660dbf2a7054b2f0c95347cc
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















3322

TransitiveFormula.java
file




2009-01-05T21:15:51.890625Z
5b454ff846426aeda0c4308cee467a19
2008-10-07T07:00:48.000000Z
2712
tla
has-props




















21272

QuantFormula.java
file




2009-01-05T21:15:51.906250Z
99862fc8d0222518bf3664d3a5e2dc43
2007-10-25T15:37:52.000000Z
1811
tla
has-props




















4928

FormulaLex.java
file




2009-01-05T21:15:51.906250Z
706660197b67d46b841c7ce6fdc42cbd
2007-11-04T17:57:21.000000Z
1882
rumster
has-props




















17200

FormulaParser.java
file




2009-01-05T21:15:51.937500Z
9a43b743d54f1e44d585b891518691ff
2008-10-05T10:27:49.000000Z
2693
tla
has-props




















131181

PredicateFormula.java
file




2009-01-05T21:15:51.953125Z
115c6be17a5b3a4ada6776d0697815f2
2008-10-05T10:27:49.000000Z
2693
tla
has-props




















17911

PredicateUpdateFormula.java
file




2009-01-05T21:15:51.968750Z
fb10f67fd2f7249f8db348fd8b06bc92
2008-10-05T10:27:49.000000Z
2693
tla
has-props




















9290

CloneUpdateFormula.java
file




2009-01-05T21:15:51.968750Z
9578dcab74f5b7fd4a22b9332da32b98
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















419

ExistQuantFormula.java
file




2009-01-05T21:15:51.984375Z
06542bba662791d6d420e8a1fb03f68c
2008-10-05T10:27:49.000000Z
2693
tla
has-props




















7380

PredicateFormulaIterator.java
file




2009-01-05T21:15:51.984375Z
275724076fbfce0cb75222d02dc45833
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















3754

AtomicFormula.java
file




2009-01-05T21:15:52.000000Z
c4bb31a9964de9a89a776029c584c850
2007-10-25T15:37:52.000000Z
1811
tla
has-props




















606

ValueFormula.java
file




2009-01-05T21:15:52.000000Z
5b3fab243d041b97e52ff0252aed8a5a
2007-10-25T15:37:52.000000Z
1811
tla
has-props




















2033

Formula.java
file




2009-01-05T21:15:52.015625Z
a6d946de17db84ef98654fe6d3acfc4f
2008-10-05T10:48:09.000000Z
2694
tla
has-props




















23564

UpdateFormula.java
file




2009-01-05T21:15:52.031250Z
dadc6fa9ad85e87503f8b01a4b8c4c1e
2007-11-13T14:21:11.000000Z
1924
tla
has-props




















1486

sym.java
file




2009-01-05T21:15:52.015625Z
7581dea763f79ad83471bbe8cee251b5
2007-11-04T17:57:21.000000Z
1882
rumster
has-props




















2189

RetainUpdateFormula.java
file




2009-01-05T21:15:52.031250Z
c05bdacce2cad152edd92a52d7af7825
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















319

package.html
file




2009-01-05T21:15:52.046875Z
7d7e993f3810297695751d5fb500f450
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















66

FormulaIterator.java
file




2009-01-05T21:15:52.062500Z
b38c0e6c73a66695fd971b7bd9d3951e
2008-10-05T10:27:49.000000Z
2693
tla
has-props




















3306

NewUpdateFormula.java
file




2009-01-05T21:15:52.078125Z
d7fbde930fa08611469566d639eb8178
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















543

EqualityFormula.java
file




2009-08-07T02:44:44.921875Z
62b0c4c98591a9cc2e29005e44fe0cb6
2009-08-07T01:43:51.704299Z
3251
rumster
has-props




















5963

IfFormula.java
file




2009-01-05T21:15:52.093750Z
ea4003dd618910bd6a6bcce9e9dc58e8
2008-10-05T10:27:49.000000Z
2693
tla
has-props




















10156

NormalizeOutVars.java
file




2009-01-05T21:15:52.093750Z
3e6024cc3851a31132487d0470a2f621
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















2016

FormulaVisitor.java
file




2009-01-05T21:15:52.109375Z
2adbecf08f7379f937b2869cd8348d53
2008-10-05T10:27:49.000000Z
2693
tla
has-props




















4192

NotFormula.java
file




2009-01-05T21:15:52.109375Z
18919169bea7ab9bd5c2cb92c4740f64
2008-10-08T11:04:42.000000Z
2719
tla
has-props




















6290

EquivalenceFormula.java
file




2009-01-05T21:15:52.125000Z
3cf56591f8904366bd2dc06713e5ff77
2008-10-05T10:27:49.000000Z
2693
tla
has-props




















5121

AndFormula.java
file




2009-01-05T21:15:52.140625Z
fed5ef49e7877783f6a1442d8e6cfafc
2008-10-05T10:27:49.000000Z
2693
tla
has-props




















13091

Var.java
file




2009-01-05T21:15:52.125000Z
aa04e062864e32b6a6c7b7b85bdcd061
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















2015

ImpliesFormula.java
file




2009-01-05T21:15:52.140625Z
54b49150d33038c0f873dcc7e25f7560
2008-10-05T10:27:49.000000Z
2693
tla
has-props




















4919

