ground_2 released and permanently renamed as ground

[helm.git] / matita / matita / contribs / lambdadelta / ground_2 / etc / ynat / ynat_plus.etc

diff --git a/matita/matita/contribs/lambdadelta/ground_2/etc/ynat/ynat_plus.etc b/matita/matita/contribs/lambdadelta/ground_2/etc/ynat/ynat_plus.etc
deleted file mode 100644 (file)
index e535b9f..0000000
--- a/matita/matita/contribs/lambdadelta/ground_2/etc/ynat/ynat_plus.etc
+++ /dev/null
@@ -1,4 +0,0 @@
-
-lemma pippo: ∀x,y. x + y ≤ x → x = ∞ ∨ y = 0.
-/3 width=1 by discr_yplus_xy_x, yle_antisym/ qed-.
-