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 /Makefile.am | |
| 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 'Makefile.am')
0 files changed, 0 insertions, 0 deletions