?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Final preparations (or afterwards?).
[algebraic-prog-equiv.git] / auxil.tex
bloba274f71a215edbf32d2cab3302d3b07e46988007
1 %\newcommand*{\todo}[1]{#1\marginpar{todo}}
2 \newcommand*{\todo}[1]{#1}
3
4 %\usepackage{showlabels}
5
6 %%% Local Variables:
7 %%% mode: latex
8 %%% TeX-master: "main"
9 %%% End:
The equivalence problem in algebraic models of programs (some results) (in Russian)