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