10

dir
260
svn+ssh://wrath.cs.utexas.edu/projects/hvg/nwetzler/svn/sat-shared/trunk/RAT/materials/ACL2/supplemental
svn+ssh://wrath.cs.utexas.edu/projects/hvg/nwetzler/svn



2013-01-23T10:40:59.894814Z
255
nwetzler














856fa31a-62be-11df-915f-eb007576698e

mv-nth.lisp
file




2013-01-25T03:56:26.000000Z
ad16dc1e7e4b25ed9c241c5541e65673
2013-01-23T10:40:59.894814Z
255
nwetzler





















388

clause.lisp
file




2013-01-25T03:56:26.000000Z
36410894488b6a6e3779c542a8fc8acd
2013-01-23T10:40:59.894814Z
255
nwetzler





















1951

literal.lisp
file




2013-01-25T03:56:26.000000Z
d623a95e2998c47f8bf82c8fe4871f88
2013-01-23T10:40:59.894814Z
255
nwetzler





















3668

acl2-customization.lsp
file




2013-01-25T03:56:26.000000Z
ec15cedb47e3fa0ad7917f123538582c
2013-01-23T10:40:59.894814Z
255
nwetzler





















37

sets.lisp
file




2013-01-25T03:56:26.000000Z
ad63e80904f386f2655a15edb8f38fa8
2013-01-23T10:40:59.894814Z
255
nwetzler





















7066

sat.defpkg
file




2013-01-25T03:56:26.000000Z
3cec77a85299c8bea1825048f4466518
2013-01-23T10:40:59.894814Z
255
nwetzler





















316

unit-propagation.lisp
file




2013-01-25T03:56:26.000000Z
f9cc403c10626bee8b46a2cdd584f675
2013-01-23T10:40:59.894814Z
255
nwetzler





















9488

evaluator.lisp
file




2013-01-25T03:56:26.000000Z
8d633a4ad41248dbd5424aaf365f7885
2013-01-23T10:40:59.894814Z
255
nwetzler





















59661

ternary.lisp
file




2013-01-25T03:56:26.000000Z
4b59038782941c6eeb29f11da182deff
2013-01-23T10:40:59.894814Z
255
nwetzler





















3942

all-literals.lisp
file




2013-01-25T03:56:26.000000Z
28db5c44bfe456c7876ba1eea79e2c31
2013-01-23T10:40:59.894814Z
255
nwetzler





















1192

unique.lisp
file




2013-01-25T03:56:26.000000Z
1773417629c80ff7f5a1f51cf38041f7
2013-01-23T10:40:59.894814Z
255
nwetzler





















7690

cert.acl2
file




2013-01-25T03:56:26.000000Z
b789333aa351a953c5c8eb414f587824
2013-01-23T10:40:59.894814Z
255
nwetzler





















17

assignment.lisp
file




2013-01-25T03:56:26.000000Z
a14e1ec144a9013b63a9d2041b42aedf
2013-01-23T10:40:59.894814Z
255
nwetzler





















2022

