projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6673ce0) | patch
Remove old README file from rewrite-rules left over from new-theory script long ago
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 2 Apr 2013 17:59:58 +0000 (13:59 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Tue, 2 Apr 2013 18:35:35 +0000 (14:35 -0400)
commit415c4f45eab364ea3c0cf15b2612406751527113
tree6755e87b1de2f2c80f6ed9644847ce724a5b40cftree
parent6673ce0fdd4bb727208be0cbea59585179758a1ccommit | diff
Remove old README file from rewrite-rules left over from new-theory script long ago
src/theory/rewriterules/README.WHATS-NEXT [deleted file] blob | history