From: matitaweb Date: Fri, 23 Mar 2012 08:52:03 +0000 (+0000) Subject: commit by user utente2 X-Git-Tag: make_still_working~1839 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e593e93ca00c6e9dfb8f0e79cb52684c5b104c3f;p=helm.git commit by user utente2 --- diff --git a/weblib/test.ma b/weblib/test.ma index 362fb6d57..c8b89a5da 100644 --- a/weblib/test.ma +++ b/weblib/test.ma @@ -1,3 +1,5 @@ (* prova *) +(* prova 2 *) + axiom pippo : Prop. \ No newline at end of file