From fd06a871a49f88593ef2e65652d98974a7470c8e Mon Sep 17 00:00:00 2001
From: matitaweb <claudio.sacerdoticoen@unibo.it>
Date: Wed, 12 Oct 2011 12:55:15 +0000
Subject: [PATCH] commit by user ricciott

---
 weblib/ricciott4/prova.ma | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 weblib/ricciott4/prova.ma

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
-- 
2.39.2