From: matitaweb <claudio.sacerdoticoen@unibo.it>
Date: Wed, 12 Oct 2011 12:55:15 +0000 (+0000)
Subject: commit by user ricciott
X-Git-Tag: make_still_working~2202
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fd06a871a49f88593ef2e65652d98974a7470c8e;p=helm.git

commit by user ricciott
---

diff --git a/weblib/ricciott4/prova.ma b/weblib/ricciott4/prova.ma
new file mode 100644
index 000000000..9ca5a7e15
--- /dev/null
+++ b/weblib/ricciott4/prova.ma
@@ -0,0 +1 @@
+axiom paperino : Prop.
\ No newline at end of file