From 5207706bef24348b6ea278b44426c94e852c639e Mon Sep 17 00:00:00 2001 From: matitaweb Date: Fri, 7 Oct 2011 13:03:52 +0000 Subject: [PATCH] commit by user utente3 --- weblib/commit_test2.ma | 1 + weblib/commit_test3.ma | 1 + 2 files changed, 2 insertions(+) create mode 100644 weblib/commit_test2.ma create mode 100644 weblib/commit_test3.ma 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 -- 2.39.2