Commit a30df950 authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

snippeted out

parent da2b72b8
\paragraph{Future Work} \ednote{term indexing}
\paragraph{Acknowledgments}
The authors gratefully acknowledge financial support from the OpenDreamKit Horizon 2020
European Research Infrastructures project (\#676541) and the DFG-funded project OAF: An
Open Archive for Formalizations (KO 2428/13-1).
%%% Local Variables:
%%% mode: latex
%%% eval: (visual-line-mode) (set-fill-column 5000)
%%% TeX-master: "paper"
%%% End:
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment