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

adding variables

parent 1b4c81c4
......@@ -36,4 +36,9 @@ We have seen how a viewfinder can be used for theory \emph{discovery}. But with
\item The last example in Section \ref{sec:usecase} shows how we can find properties like commutativity and
associativity, which can in turn inform a better normalization of the theory, which in turn would potentially
allow for finding more views. This could iteratively improve the results of the viewfinder.
\ No newline at end of file
%%% Local Variables:
%%% mode: latex
%%% eval: (visual-line-mode) (set-fill-coloumn 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