From: matitaweb Date: Fri, 7 Oct 2011 13:03:52 +0000 (+0000) Subject: commit by user utente3 X-Git-Tag: make_still_working~2231 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5207706bef24348b6ea278b44426c94e852c639e;p=helm.git commit by user utente3 --- diff --git a/weblib/commit_test2.ma b/weblib/commit_test2.ma new file mode 100644 index 000000000..6745f532a --- /dev/null +++ b/weblib/commit_test2.ma @@ -0,0 +1 @@ +axiom pluto : Prop. diff --git a/weblib/commit_test3.ma b/weblib/commit_test3.ma new file mode 100644 index 000000000..9ca5a7e15 --- /dev/null +++ b/weblib/commit_test3.ma @@ -0,0 +1 @@ +axiom paperino : Prop. \ No newline at end of file