commit by user utente3

diff --git a/weblib/commit_test2.ma b/weblib/commit_test2.ma
new file mode 100644 (file)
index 0000000..6745f53
--- /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 (file)
index 0000000..9ca5a7e
--- /dev/null
+++ b/weblib/commit_test3.ma
@@ -0,0 +1 @@
+axiom paperino : Prop.
\ No newline at end of file