diff options
author | Tim King <taking@cs.nyu.edu> | 2010-02-17 21:29:57 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2010-02-17 21:29:57 +0000 |
commit | 21e0c5dd0de5edef8ec12f48b76887109b67db52 (patch) | |
tree | 61925a690688577e8cf96072a1afb75ede17f35d /config | |
parent | 2dadba52dd55084bbec52b3b338add5f8be77c13 (diff) |
Initial draft of TheoryUF. Should compile without problems. A decent amount of functionality is stubbed out. Still needs a bit of cleanup.
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions