From efb9979fe0496c30ea9b8ce6ed9f89e41413ea2d Mon Sep 17 00:00:00 2001 From: matitaweb Date: Wed, 28 Mar 2012 08:22:32 +0000 Subject: [PATCH] manual commit --- weblib/tutorial/chapter9.ma | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/weblib/tutorial/chapter9.ma b/weblib/tutorial/chapter9.ma index 147bad1b9..13a0526b1 100644 --- a/weblib/tutorial/chapter9.ma +++ b/weblib/tutorial/chapter9.ma @@ -247,4 +247,4 @@ lemma to_pit: ∀S,w,e. a title="logical not" href="cic:/fakeuri.def(1)"¬/a |#Hfalse >a href="cic:/matita/tutorial/chapter9/moves_cons.def(8)"moves_cons/a >a href="cic:/matita/tutorial/chapter9/not_occur_to_pit.def(8)"not_occur_to_pit/a // >Hfalse /span class="autotactic"2span class="autotrace" trace a href="cic:/matita/basics/bool/eqnot_to_noteq.def(4)"eqnot_to_noteq/a/span/span/ ] ] -qed. \ No newline at end of file +qed. -- 2.39.2