Change some secref crossrefs to just ref to avoid latex errors

Author: utting

Optimizations/ConditionalElimination/ConditionalElimination.thy

@@ -17,10 +17,10 @@ if (A) {
 \end{lstlisting}
 
 We begin by defining the individual implication rules used by the phase
-in \secref{sec:rules}.
+in \ref{sec:rules}.
 These rules are then lifted to the rewriting of a condition within an \textsl{if}
-statement in \secref{sec:lift}.
-The traversal algorithm used by the compiler is specified in \secref{sec:traversal}.
+statement in \ref{sec:lift}.
+The traversal algorithm used by the compiler is specified in \ref{sec:traversal}.
 \<close>
 
 theory ConditionalElimination
@@ -1437,4 +1437,4 @@ qed
 
 end
 
-end
+end