From e3fc33cab9b7736c6475cf2c9cd7f91c5a4bd7f9 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 26 Oct 2009 14:15:34 +0000 Subject: [PATCH] qed => nqed. --- .../matita/contribs/ng_assembly/freescale_tests/micro_tests3.ma | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. -- 2.39.2