Changeset 67 for papers/FDL2012/abstraction_refinement.tex

Timestamp:

Mar 14, 2012, 4:27:45 PM (13 years ago)

Author:

cecile

Message:

Refinement text filter added

File:

• papers/FDL2012/abstraction_refinement.tex (modified) (1 diff)

papers/FDL2012/abstraction_refinement.tex

@@ -15 +15 @@
 $\widehat{M_{i+1}}$.
 \end{enumerate}
+\label{def:goodrefinement}
 \end{definition}