10

dir
1434
https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp/src/main
https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover



2011-11-13T12:37:29.308452Z
1414
trevor_hansen
has-props













e59a4935-1847-0410-ae03-e826735625c1

Globals.cpp
file




2011-12-13T02:40:16.000000Z
735e7a81f02cf2c2e0f7ac8ab00f7366
2010-04-05T06:41:01.081093Z
662
trevor_hansen





















1115

main.cpp
file




2011-12-13T02:40:16.000000Z
05cb5aff62f18682145f75fe7053f961
2011-11-13T12:37:29.308452Z
1414
trevor_hansen





















21329

Globals.h
file




2011-12-13T02:40:16.000000Z
f955812352d96a89bfa44107c2e92f35
2011-06-27T02:12:57.554494Z
1357
trevor_hansen





















2287

Makefile
file




2011-12-13T02:40:16.000000Z
fe7e224307bb3f2468093537ffd479a7
2011-02-08T12:18:01.284257Z
1126
trevor_hansen





















945

