10

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



2009-09-09T04:00:00.206274Z
206
trevor_hansen
has-props













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




2011-12-13T02:40:20.000000Z
18f38bc5eefd94eea6d26ea3a5f80d04
2009-09-06T15:35:43.334320Z
190
trevor_hansen
has-props




















2485

cnftest.cpp
file




2011-12-13T02:40:20.000000Z
3eb0d42eca957ddc6a56739afbbd9045
2009-09-06T15:35:43.334320Z
190
trevor_hansen
has-props




















1108

asttest.cpp
file




2011-12-13T02:40:20.000000Z
944eddf417cc37fcb4230054ec8e684d
2009-09-09T04:00:00.206274Z
206
trevor_hansen
has-props




















736

