diff options
author | 2011-02-15 21:37:39 +0000 | |
---|---|---|
committer | 2011-02-15 21:37:39 +0000 | |
commit | b6df5bd0a3b71ae1eb2b4912384be6a0dbe39db9 (patch) | |
tree | 12b5943c35324e8d7d0a12b349c2d1d8dfaf2a42 /Source/Provers/Simplify/Simplify.csproj | |
parent | e416fb06915c72c0865ee9e280408bf4a2c79fb8 (diff) |
Move name-quoting (already for SMT2 not SMT1) into a seprate class
Diffstat (limited to 'Source/Provers/Simplify/Simplify.csproj')
0 files changed, 0 insertions, 0 deletions