From: matitaweb Date: Wed, 28 Mar 2012 08:22:32 +0000 (+0000) Subject: manual commit X-Git-Tag: make_still_working~1832 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=efb9979fe0496c30ea9b8ce6ed9f89e41413ea2d;p=helm.git manual commit --- 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.