diff options
| author |  Nadia Polikarpova <nadia.polikarpova@gmail.com> | 2012-09-14 18:19:25 +0200 |
|---|---|---|
| committer | Nadia Polikarpova <nadia.polikarpova@gmail.com> | 2012-09-14 18:19:25 +0200 |
| commit | 1b291079446ae1f74cd92705546c76f86496e22d (patch) | |
| tree | 49fce190b4f82d365472ee3418a2bfb80f6503e7 /Util/latex | |
| parent | 0d09b9411a144001e7639155334b8e928f6ce214 (diff) | |
Calc statements: Renamed Steps into Terms; introduced Steps (expressions t<i> op t<i + 1>), generated during resolution; first version of the translation
Diffstat (limited to 'Util/latex')
0 files changed, 0 insertions, 0 deletions