10

dir
116
svn://bigornas.bounceme.net/work/research/impl/src/formulae
svn://bigornas.bounceme.net/work



2011-04-22T10:20:09.856156Z
98
anvilfolk














bd0ec1a8-de2b-4f84-a3af-01b9055c6d62

PLT.java
file




2011-03-15T12:45:46.000000Z
439d90547161a6421b04fe6e4f5fb3ac
2011-03-15T14:57:34.141583Z
49
anvilfolk





















442

FUntil.java
file




2011-03-30T23:39:08.000000Z
41911ac11f73cb6c064bfbff82a349b2
2011-03-30T23:50:41.307140Z
64
anvilfolk





















1089

FAlways.java
file




2011-04-22T19:36:04.000000Z
4e20cd865998c2af528f8c8b2041df14
2011-04-22T10:20:09.856156Z
98
anvilfolk





















488

TAggSum.java
file




2011-04-12T14:42:41.000000Z
aa6e4743a4b967c6a0d76fe30f90b970
2011-04-12T23:01:01.055332Z
76
anvilfolk





















190

FImpl.java
file




2011-03-30T23:36:07.000000Z
5d3c2ebf91a6174a1e5d79cd8e968ceb
2011-03-30T23:50:41.307140Z
64
anvilfolk





















652

TAggProd.java
file




2011-04-12T14:42:56.000000Z
28be01b534330994c76f775b74387f83
2011-04-12T23:01:01.055332Z
76
anvilfolk





















192

FAnd.java
file




2011-03-30T23:34:24.000000Z
c69e92ebec365c7c8ce7d62cbc39a914
2011-03-30T23:50:41.307140Z
64
anvilfolk





















639

TConst.java
file




2011-03-29T15:34:22.000000Z
23fad29225bd5e6be0f5922f44a74d38
2011-03-29T23:09:36.327432Z
63
anvilfolk





















309

TVar.java
file




2011-04-22T19:36:04.000000Z
83169acff0a49bd6757f961ca4a42df1
2011-04-22T10:20:09.856156Z
98
anvilfolk





















621

FNeg.java
file




2011-03-30T23:36:19.000000Z
2db05e78ce1c3e8912922d066b21c66b
2011-03-30T23:50:41.307140Z
64
anvilfolk





















496

ITerm.java
file




2011-03-29T15:32:55.000000Z
53001c81543db56dadda0f6741000797
2011-03-29T23:09:36.327432Z
63
anvilfolk





















185

FTrue.java
file




2011-03-30T23:36:31.000000Z
a8c9a61410a0f66da93623ac8676783a
2011-03-30T23:50:41.307140Z
64
anvilfolk





















343

PEQ.java
file




2011-03-14T19:58:41.000000Z
e13b505e7fdba9cf62d6e2e1fd9b877b
2011-03-15T14:57:34.141583Z
49
anvilfolk





















646

FOr.java
file




2011-03-30T23:34:57.000000Z
274cfc198854be0f320a0f1f42bab273
2011-03-30T23:50:41.307140Z
64
anvilfolk





















635

TSum.java
file




2011-04-22T19:36:04.000000Z
66a306d908047ccae81530326cb075c2
2011-04-22T10:20:09.856156Z
98
anvilfolk





















387

Predicate.java
file




2011-03-30T23:37:39.000000Z
3b131020a1d3a91cc537de8e2cb0f049
2011-03-30T23:50:41.307140Z
64
anvilfolk





















517

FFalse.java
file




2011-03-30T23:35:58.000000Z
134f6c5dab162a4459cfb8689dbc7361
2011-03-30T23:50:41.307140Z
64
anvilfolk





















345

PLEQ.java
file




2011-03-15T12:45:57.000000Z
2beaf0eebbf58f2466660c9ed98ca3d6
2011-03-15T14:57:34.141583Z
49
anvilfolk





















444

TTypeIndicator.java
file




2011-04-22T19:36:04.000000Z
ee838c8ae2c3de28d3c0587cf6f5caf9
2011-04-22T10:20:09.856156Z
98
anvilfolk





















518

PNEQ.java
file




2011-03-15T12:45:33.000000Z
81ffd6614d77eeadca814714c3e2f819
2011-03-15T14:57:34.141583Z
49
anvilfolk





















446

Formula.java
file




2011-03-28T20:53:22.000000Z
e4686b19419a25800166c3b2b2d49982
2011-03-29T00:35:45.283470Z
62
anvilfolk





















448

TMult.java
file




2011-04-22T19:36:04.000000Z
892cdd13bb51890a7dbb7145158b6e82
2011-04-22T10:20:09.856156Z
98
anvilfolk





















444

FAlive.java
file




2011-04-12T14:47:44.000000Z
c2b2d7de041e0b94056914462d47c8d6
2011-04-12T23:01:01.055332Z
76
anvilfolk





















528

FUnivQ.java
file




2011-04-12T14:31:52.000000Z
a79599e0904d4d8bd7c23d2a8bba1ef2
2011-04-12T23:01:01.055332Z
76
anvilfolk





















986

TSub.java
file




2011-04-22T19:36:04.000000Z
cb4c201cb03028fee18476c61cc2dfdd
2011-04-22T10:20:09.856156Z
98
anvilfolk





















387

IFormula.java
file




2011-03-30T23:34:42.000000Z
18ed0170fea62a7d263d9f865cb6633e
2011-03-30T23:50:41.307140Z
64
anvilfolk





















188

TTime.java
file




2011-03-29T15:38:54.000000Z
b732003a557ce77f1eeacd3f8fb0863e
2011-03-29T23:09:36.327432Z
63
anvilfolk





















252

TAgg.java
file




2011-04-22T19:36:04.000000Z
33a52c26f7f440ec97094935fa0289d2
2011-04-22T10:20:09.856156Z
98
anvilfolk





















1239

FExistQ.java
file




2011-04-12T14:36:23.000000Z
a5f510b298139774945de6e67af46551
2011-04-12T23:01:01.055332Z
76
anvilfolk





















1018

TAbs.java
file




2011-04-22T19:36:04.000000Z
dc3c374c2cb6c24fb1cb83759b476507
2011-04-22T10:20:09.856156Z
98
anvilfolk





















344

PGT.java
file




2011-03-15T12:42:58.000000Z
83f89f421a8ac1823266c150a1960db1
2011-03-15T14:57:34.141583Z
49
anvilfolk





















545

PGEQ.java
file




2011-03-21T17:08:21.000000Z
a5e12e810300f4bc8e9a0a319c76a1cb
2011-03-21T22:47:00.500714Z
55
anvilfolk





















546

FEventually.java
file




2011-04-22T19:36:04.000000Z
ae3585288d91ed68b82e7ca442507e98
2011-04-22T10:20:09.856156Z
98
anvilfolk





















484

