From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 26 Oct 2009 14:15:34 +0000 (+0000)
Subject: qed => nqed.
X-Git-Tag: make_still_working~3254
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e3fc33cab9b7736c6475cf2c9cd7f91c5a4bd7f9;p=helm.git

qed => nqed.
---

diff --git a/helm/software/matita/contribs/ng_assembly/freescale_tests/micro_tests3.ma b/helm/software/matita/contribs/ng_assembly/freescale_tests/micro_tests3.ma
index c6d6390d5..71bd37984 100755
--- a/helm/software/matita/contribs/ng_assembly/freescale_tests/micro_tests3.ma
+++ b/helm/software/matita/contribs/ng_assembly/freescale_tests/micro_tests3.ma
@@ -73,4 +73,4 @@ nlemma ok_mTest_HCS08_ROL_ROR_full :
            (mTest_HCS08_ROL_ROR_status t) (mk_word16 〈x1,x8〉 〈x6,xC〉)).
  #t; nelim t;
  napply refl_eq.
-qed.
+nqed.